Maple-Dream 2022-08-22 V=Ø V={Ø} V={Ø{Ø}} … Vn+1=P(Vn)（其中P表示幕集） … Vω=V1∪V2…∪Vn∪=∪Vk k<ω … Vλ{ P(Vα)若λ=α+1 { ∪Vk若λ是极限序数 k<ω V=∪Vk k跑遍所有序数 k 大全集V，又称集合论终极宇宙V、冯·诺依曼可构造数学宇宙，除此之外还有哥德尔可构造数学宇宙 ♥ 44 ↩ 2
穿山辛 2022-08-22 依稀记得的一点数学史：上上个世纪末创造性的提出了集合论这个大一统原理，紧接着引发矛盾以后，出现了一个否定排中律（A不真则非A真）的流派，他们认为存在性证明有缺陷，要找构造性的证明，因此在皮亚诺提出皮亚诺公理以后，构造性的提出了集合建立自然数的方法。 数学界其实没怎么鸟这种否定排中律的观点，但是其提出的构造性证明在有些时候具有指导性作用。（关键字，第三次数学危机，内容是五年前看的所以基本没啥印象了） ♥ 42 ↩ 2
仓库里有条会喷火的龙 2022-08-22 分享一个相关视频 【怎样数到无限之后？（从阿列夫零到不可达基数）【中英字幕】】 https://www.bilibili.com/video/BV1Us411z7zG?share_source=copy_web&vd_source=ab827996c41805d2366295823925976c ♥ 9
Comments
老师，错数是对数的逆运算吗？
♥ 765 ↩ 18
这题我会： ∵道可道，非常道。道化天地，取之为德。 又有：道生一，一生二，二生三，三生万物。 ∴有“无”就有“有”，就有“万物” 得证。
♥ 296 ↩ 20
证明不严谨，万一有无懈可击怎么办？
♥ 243 ↩ 11
仙数大厦的底座已基本完成，接下来就是建筑主体部分的建造了！
♥ 184 ↩ 15
数学专业的学生表示: 欢迎各位来到ZFC集合论的世界!
♥ 121 ↩ 4
老标题党了！哦仙童数学啊，那没事了[脱单doge]
♥ 63
V=Ø V={Ø} V={Ø{Ø}} … Vn+1=P(Vn)（其中P表示幕集） … Vω=V1∪V2…∪Vn∪=∪Vk k<ω … Vλ{ P(Vα)若λ=α+1 { ∪Vk若λ是极限序数 k<ω V=∪Vk k跑遍所有序数 k 大全集V，又称集合论终极宇宙V、冯·诺依曼可构造数学宇宙，除此之外还有哥德尔可构造数学宇宙
♥ 44 ↩ 2
依稀记得的一点数学史：上上个世纪末创造性的提出了集合论这个大一统原理，紧接着引发矛盾以后，出现了一个否定排中律（A不真则非A真）的流派，他们认为存在性证明有缺陷，要找构造性的证明，因此在皮亚诺提出皮亚诺公理以后，构造性的提出了集合建立自然数的方法。 数学界其实没怎么鸟这种否定排中律的观点，但是其提出的构造性证明在有些时候具有指导性作用。（关键字，第三次数学危机，内容是五年前看的所以基本没啥印象了）
♥ 42 ↩ 2
无穷大不就是-8嘛，仙老师证明得真麻烦
♥ 32 ↩ 9
2个ω拼起来不就是∞了吗[思考]
♥ 24 ↩ 1
谢谢UP，终于知道皮亚诺那个小bzai子是怎么构造公理体系的了[doge]
♥ 21 ↩ 2
K F C 公 理 系 统（不是
♥ 18 ↩ 1
把8转置一下不就是∞了吗，up还是太麻烦了
♥ 11 ↩ 1
仙老师这个证明其实证明了无穷大不存在，因为后一个无穷大比前一个无穷大更大，可以证明前一个无穷大不是无穷大，所以这里每一个无穷大都不是无穷大的。
♥ 13 ↩ 1
老师老师，怎么证明自然数集存在，怎么证明空集存在，怎么证明S存在可以保证{S}存在，怎么证明两个集合的并集存在[大笑]
♥ 13 ↩ 8
有没有可能，读作Omega的那个字母叫大不溜[妙啊]
♥ 10 ↩ 7
计算机里无限是10³⁰⁸(10e308)，也就是2²⁰⁴⁸[脱单doge]
♥ 9 ↩ 4
分享一个相关视频 【怎样数到无限之后？（从阿列夫零到不可达基数）【中英字幕】】 https://www.bilibili.com/video/BV1Us411z7zG?share_source=copy_web&vd_source=ab827996c41805d2366295823925976c
♥ 9
挺喜欢仙童的，但是有时候是认真的数学科普，有时候又是开玩笑伪数学整活。能不能标注一下哪些是可以认真学，哪些是误导向的呢。
♥ 10 ↩ 11
让8躺平
♥ 6