尽管宇历四年才刚刚开始,但绝大多数人都坚信,力迫法就是这一年里最有价值的发现了。
所有研究算理逻辑的万法门修士都开始自愿或非自愿的学习了力迫法。
当你要证明某个存在满足条件甲的集合,而条件甲比较复杂,从而你把它分解为甲一,甲二等等。而一个条件自然也是一个集族,然后证明集族甲子们的交非空。
连续统假设以外还有强连续统、选择公理、非标准分析的无穷公理,都可以通过力迫法完成证明。
这简直就是天大的福音了。
对于处于一片绝望气息的万法门来说,这就是最重大的成果。
离宗修士不吝赞美。
他们认为,恰如其分的说,苏君宇所完成的力迫法,就是集合论公理化以来,最重要的成果。
这句话刚出来的时候,苏君宇对此一无所知。他还在家里睡大觉呢。
力迫法的证明,着实消耗了他的精神。
等他知道了这份赞誉之后,他的声望已经完全刷新了一遍。
“这……”苏君宇对此哭笑不得。
在梅歌牧受害者互助协会的小群里,他对其他人哭笑不得的说道:“我很……
(ò﹏ò)
抱歉,章节内容不支持该浏览器显示~
【为了使用完整的阅读功能】
请考虑使用〔Chrome 谷歌浏览器〕、〔Safari 苹果浏览器〕或者〔Edge 微软浏览器〕等原生浏览器阅读!
谢谢!!!
铅笔小说 23qb.com