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




  

相关话题

  科幻电影中有哪些常识性或者科学性错误? 
  光速可以提升吗?如果可以,大概会是怎样的一种方法? 
  为什么能够研究高维几何? 
  纯探讨:在沙漠中建造核电站需要克服哪些问题? 
  全球的人同时放屁会造成什么后果? 
  俄罗斯“物理数学中学”的教学模式是什么样的? 
  二维生物真的存在的话,构成他的基本物质是什么? 
  如何向孩子解释「为什么这个世界是五彩缤纷的」? 
  如何从微观角度解释光的反射和折射? 
  如果有机会给 1950 年科学界传达一句话,你会选择说什么? 

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





© 2025-02-22 - tinynew.org. All Rights Reserved.
© 2025-02-22 - tinynew.org. 保留所有权利