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.
作为开始，我们先只关注最简单的两个判断 “A 是命题”和“A 为真”，分别缩写为“A prop”和“A true”。