|贴子

2019-02-28
阿列夫2有什么对应模型吗？逻辑学吧
阿列夫0的模型是自然数， 阿列夫1的模型是实数， 阿列夫2有什么对应模型吗？
2019-02-28
阿列夫2有什么模型吗？数学吧
阿列夫0的模型是自然数，阿列夫1的模型是实数， 阿列夫2有什么对应的模型吗？
2019-02-27
前两天徒步十三陵十三陵吧
走过了前十二陵。 崇祯帝的思陵在环陵路以南，太远没去成。 主要是为了找个安静的地方...