他摇了摇头。王崎如今是他上司,而冯落衣是王崎师父。但他依旧不喜欢良基集合的概念……嗯,恐怕王崎也不会太喜欢?
另一方面,海霆真人也是的。
认为集合论总体之中,只存在“可构造集合”,未免太过乐观了。
说到底,整个“内模型”,就是在“相对一致性”的思路上发展而来的。
相对一致性,本身就有“委曲求全”的意思里。
通过舍弃那些不能并存的,从而达到一致。
削足适履,斩趾避虫。
他想要更强的东西……
第一百零六章 联合围剿
苏君宇对“下一步”的印象也很模糊。
他确实不是很喜欢内模型,但是若是说提出个理论将之驳倒,似乎也太过遥远了一些。
或者说,他也只是有一些模糊的想法罢了。
内模型违反算家直观感受的地方太过了。诚然,正如王崎所说,算学自有自在,不受人为意志的干涉。但是,算家在无数的探索之中,摸索出的“对数字与图形的感觉”,却绝非毫无意义。
实际上,内模型里,违反人直观感受的东西,实在是太多了。
比如说,删除循环。
这是绝大多数离宗修士都无法接受的事情。