公理化集合论造句

• ZFC是标准形式的公理化集合论。
• 提议了第一个公理化集合论，策梅洛集合论。
• 公理化集合论\n公理化集合论是数学的一门分支。
• ST披露了类型论可以制定得何其类似于公理化集合论。
• 这些结果是公理化集合论的一部分，而那是模型论的一个特定应用。
• 可构成性、大基数和力迫法已成为公理化集合论的三大主流，同时它们又是三种研究工具。
• 发现这假设是不能证明的，即接受或否定它会得出两套不同但逻辑上可行的公理化集合论。
• 某些公理化集合论的处置不做这个假定，从而把上述陈述不作为公理而是作为对等号的定义。
• 的缔造者之一)和其他人争论说任何公理化集合论对于实际上的数学工作方式而言都是不正当的。
• 元数学的基本假设是：数学的内容可以由一个形式系统获得，比如一个序理论或一个公理化集合论。
• ”1908年，策梅罗在自己这一原则基础上提出第一个公理化集合论体系，后来经其他数学家改进，称为ZF系统。
• 公理化集合论是一个更加严格的理论，它是发现了原始集合论里的一些错误(如：罗素悖论)后而修正的。
• 公理化集合论起步于类型论，但是它的公理、本体论和术语不同于上面所述ST系统，还包括新基础和Scott-Potter集合论。
• 新基础集合论\n在数理逻辑中，新基础(NF)是蒯因构想的作为对《数学原理》的类型论的简化的公理化集合论。

• 公理化集合论的英语：axiomatic set theory
• 公理化集合论的日语：公理的集合論
• 公理化集合论的俄语：Аксиоматическая теория множеств