与公理的关系:
可构造性公理(V = L)直接将整个集合论宇宙等同于可构造集合的类。
在接受可构造性公理的情况下,所有的集合论研究都在可构造集合的范围内进行。
可构造集合的类与其他集合论公理也有密切关系。
例如,在可构造集合的类中,一些公理可能具有特定的形式或性质。
连续统假设在可构造集合的类中可以被证明成立,这显示了可构造集合的类与特定数学命题之间的紧密联系。
数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。