The judgment "A prop" defines the structure of valid proofs of A, which in turn defines the structure of propositions.
判断 "A prop" は、A の妥当な証明の構造を定義し、そこから命題の構造が定義される。