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




  

相关话题

  人喝下一杯冰水需要把 0 度加热到 37 度,损失了热量,这个过程可以减肥吗? 
  万有引力的最根本实质是什么? 
  国内高能物理哪里比较好? 
  这张珍贵的照片是什么时候照的?分别都有谁? 
  能不能科学地解释一下屁能传播多远? 
  黄河还是地上河吗,能否通过挖河底的方式强行降低河床? 
  诸如暗物质、快子这些仅在概念中存在、且尚未被证实的物质,对科研来说有没有研究价值? 
  《从一到正无穷》第三章的空间想象是什么意思? 
  为什么大家都相信物理学,却不相信世界早已注定? 
  多个核弹爆炸会产生共振吗?核爆共振威力几何?多弹头的核导弹能否控制爆炸时机让几个核爆产生共振? 

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





© 2025-01-19 - tinynew.org. All Rights Reserved.
© 2025-01-19 - tinynew.org. 保留所有权利