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




  

相关话题

  在导体中,自由电子的平均自由时间为什么与外电场强度无关? 
  为何 20 世纪初发现相对论和量子力学以后,近一百年现代物理再没有突破性的进展? 
  科学家都是怎么记忆复杂的物理公式的? 
  ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗? 
  理论物理研究的意义在哪里?当代最有智慧的人们投入巨大社会资源所从事的事业仅仅是为了满足“求知欲”吗? 
  人从高空坠落时,触地的一瞬,身体发生了什么? 
  F=ma 的逻辑是什么,F 为什么等于 ma? 
  如何评价 2017 年 1 月 26 日 Science 杂志报道哈佛团队成功制得固态金属氢? 
  倒格子空间的Berry phase有什么意义? 
  人类的科学是不是还无法解释任何一种力的成因? 

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





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