虚无(1 / 4)

虚无大神,恐怖如斯

123,3类证据

1一个基础性的需要

正如ac因其对数学实践的重要作用而被接受一样,对整个数学的独立性结果的系统研究将发现与ch(因此也包括v=l相矛盾的一阶陈述,这些陈述最适合解决这种独立性。

2集合理论实践的丰富性。

集合论作为数学的一个分支,其发展是如此丰富,以至于对于哪些一阶公理(超越zfc加小的大基数最有利于这一发展,永远不会有共识。

3一个最佳的最大化标准

将可能会有一个最佳的非一阶公理,会表达集合论宇宙在宽度以及高度上的最大化;这个公理将会有与ch相矛盾的一阶后果(因此也包括v=l。

举报本章错误( 无需登录 )