公理化集合论的日文

例句与用法

更多例句：  下一页
1. ZFC是标准形式的公理化集合论。
2. 提议了第一个公理化集合论，策梅洛集合论。
3. 公理化集合论\n公理化集合论是数学的一门分支。
4. ST披露了类型论可以制定得何其类似于公理化集合论。
5. 这些结果是公理化集合论的一部分，而那是模型论的一个特定应用。
6. 可构成性、大基数和力迫法已成为公理化集合论的三大主流，同时它们又是三种研究工具。
7. 发现这假设是不能证明的，即接受或否定它会得出两套不同但逻辑上可行的公理化集合论。
8. 某些公理化集合论的处置不做这个假定，从而把上述陈述不作为公理而是作为对等号的定义。
9. 的缔造者之一)和其他人争论说任何公理化集合论对于实际上的数学工作方式而言都是不正当的。
10. 元数学的基本假设是：数学的内容可以由一个形式系统获得，比如一个序理论或一个公理化集合论。