. . . . "To start with, we shall concern ourselves with the simplest two judgments A is a proposition and A is true, abbreviated as A prop and A true respectively.The judgment A prop defines the structure of valid proofs of A, which in turn defines the structure of propositions." .