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




  

相关话题

  精通分子动力学模拟是怎样一种体验? 
  为什么拿相机对着电脑屏幕照相,照片会出现波纹? 
  希格斯粒子是粒子还是机制? 
  这是什么工具,多少钱能买? 
  洛伦兹变换是如何导出的呢? 
  有哪些物理学上的事实,没有一定物理学知识的人不会相信? 
  物理学家们,大众媒体在理论物理方面有什么错误吗? 
  电子跃迁是瞬间移动吗?是不是超光速移动? 
  有哪些人可以和爱因斯坦一样牛? 
  两辆相向行驶的列车中间站一个人,会发生什么? 

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





© 2025-06-08 - tinynew.org. All Rights Reserved.
© 2025-06-08 - tinynew.org. 保留所有权利