集合论 · 章 IDescription of formal mathematics 章 I 形式数学的描述 0 命题 § 1. 项与关系 5 命题 · 6 道习题 § 2. Theorems 1 命题 · 1 道习题 § 3. 逻辑理论 0 命题 · 5 道习题 § 4. 量化理论 0 命题 · 8 道习题 § 5. 平等的理论 3 命题 · 7 道习题 App. 0. 附录 7 命题 · 8 道习题