且仅当zf在vk中成立〗、〖正则加不可数加强极限〗、

    由于启用了精简功能，凌昊说的一大堆都被极简化了，反正他们两个也不想看什么大基数公理，意思到了就行。

    “这……怎么又聊到大基数去了？”

    “世界基数、不可达基数、马洛基数、莱因哈特基数……跨度有点大啊。”

    “所以说，你看出他们到底在聊什么了吗？”

    “我要是能从这些公式、大基数公理里看出他们聊的东西，那我也不会和你一起监视他们了。”