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




  

相关话题

  如何证明下面的热力学问题? 
  原子核是否存在类似电子云的「核云」? 
  以下这篇文章算是迷信和误导大众嘛? 
  冰窗花是怎么形成的? 
  是模电难还是数电难? 
  如果 1859 年的卡林顿事件发生在现在会造成什么样的影响?现有的科技水平能多大限度避免灾难? 
  怎么看待我国科学家捕捉到幽灵粒子这件事? 
  为什么水是湿的?「湿」的原理是什么? 
  超光速可以引起时间倒流吗? 
  如何从微观角度解释光的反射和折射? 

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





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