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




  

相关话题

  当算力发展到一定程度,游戏是否可以突破“多边形”的框架,进而模拟粒子,从而达到复刻现实的程度? 
  如何优雅地测量一只猫的体积,而不使其感到惊恐或受到伤害? 
  牛顿如果穿越到现在,能看懂相对论和量子力学吗? 
  如果将宇宙中所有矢量倒转,按原路倒退,是否等同于时间倒流? 
  怎么看待有人评论杨振宁的学术成就大于霍金这种说法? 
  如何解(误)读 2017 北京市东城区中考一模的这道物理题? 
  我国理论物理学家现状如何? 
  篮球术语里“滞空”有科学根据吗? 
  Python 有哪些能够应用在物理(尤其是凝聚态当中)的 package?主要功能是什么? 
  能不能把我们日常生活的能量(如敲键盘产生的机械能)收集起来,为人所用? 

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





© 2025-05-30 - tinynew.org. All Rights Reserved.
© 2025-05-30 - tinynew.org. 保留所有权利