The judgment "A prop" defines the structure of valid proofs of A, which in turn defines the structure of propositions.
判断“A prop”定义了 A 的有效证明的结构，它们进而定义了命题的结构。