不听课。来，依次回答我的问题，让我见识见识你们两个有多厉害。”大胡子老头说着，指了指萧薇:“你第一个！”
萧薇闻言，收起刀片，然后站了起来，仍旧一副风轻云淡的模样。
“1874年，康托猜测在可列集基数和实数基数之间没有别的基数，这就是著名的连续统假设。那么，世界公认的策梅洛弗伦克尔集合论公理系统的无矛盾性，如何进行推论？”
上一页 目录 +书签 下一章