百科问答小站 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了。




  

相关话题

  薛定谔方程与狄拉克方程的区别是什么? 
  如果在地球上安装超级推进器可以推动地球摆脱太阳的引力离开太阳系,地球本身的强度能否承受这样的推力? 
  学物理的学生能硬核到什么程度? 
  李导数与协变导数有什么联系? 
  为什么国际单位制下地球重力加速度的数值很接近圆周率的平方? 
  如何评价李·斯莫林的近作《量子力学的真相:爱因斯坦尚未完成的革命》? 
  物理学泰斗史蒂文·温伯格(Steven Weinberg)逝世,如何评价他对物理学作出的贡献? 
  有哪些流行理论,是为「不接触一线研究」的普通大众量身定制的观念陷阱?为什么? 
  数学和物理对一般人来讲真的有必要学那么难吗? 
  为什么说蒸发在任何温度下都能发生(进行)?例如水在0℃以下就变成冰了,冰是固态,而蒸发是指液态变为? 

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





© 2024-05-20 - tinynew.org. All Rights Reserved.
© 2024-05-20 - tinynew.org. 保留所有权利