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




  

相关话题

  想以后去物理系,高中中应该怎么走。? 
  有哪些不易察觉的错误证明? 
  有没有彩色的流星? 
  集成电路会“磨损”吗? 
  国际社会是如何确定一个国家拥有大规模杀伤性武器的? 
  什么是张量 (tensor)? 
  能量到底什么?能否通俗易懂的讲解? 
  新买的包每次过安检门都会让安检门响,为什么? 
  二战后物理学最重要的实验有哪些? 
  如何看待梅晓春这类所谓的高水平民科? 

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





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