The system becomes logically closed when each of the logical implications which can be derived from any one proposition within the system finds its statement in another proposition in the same system.