Google 翻译生成的粗略草稿，质量较低。术语依照术语表，但句子可能有误；之后会由仔细的译文取代。
章 I 形式数学的描述
目录
- § 1. 项与关系 5 命题 · 6 道习题
- § 2. Theorems 1 命题 · 1 道习题
- § 3. 逻辑理论 0 命题 · 5 道习题
- § 4. 量化理论 0 命题 · 8 道习题
- § 5. 平等的理论 3 命题 · 7 道习题
- App. 0. 附录 7 命题 · 8 道习题
Google 翻译生成的粗略草稿，质量较低。术语依照术语表，但句子可能有误；之后会由仔细的译文取代。