百科问答小站 logo
百科问答小站 font logo



ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗? 第1页

  

user avatar    网友的相关建议: 
      

可以额外加一个一元关系S作为语言。然后那些公理如有必要,都加上一个判断a是否属于S。比如并集公理可以写成:

∀x((∀y∈x(S (y))) →∃z(∀u(∃y∈x(u∈y)→u∈z)))

当然把所有满足S(x)的x收集成类V,那么在V里看就是原来正常的ZFC了。




  

相关话题

  如何评价普林斯顿大学出版社的In a Nutshell系列物理教材? 
  物理学家通过计算得到的结果是否有意义? 
  如果量子力学比较成熟了,我们为什么还要学习经典力学呢? 
  我自认为自己证明了0可以作为除数,若是如此将会有哪些改变? 
  为什么核废料很难处理与处置? 
  如果没有了摩擦力会怎样? 
  牛顿和爱因斯坦的后人现在如何了? 
  将全地球的水铺在一个无限大的平面上,面积会有多大? 
  知乎上有哪些优秀的物理类专栏? 
  物理和化学中有些哪些好玩儿的随机过程? 

前一个讨论
为什么函数的连续点构成可测集?
下一个讨论
什么是客观事实呢?





© 2025-04-16 - tinynew.org. All Rights Reserved.
© 2025-04-16 - tinynew.org. 保留所有权利