作者：ZS Chen
链接：https://www.zhihu.com/question/522744830/answer/2963114140
来源：知乎

2023年3月1日，星期三，晴

明天就是康托小学一年级二班第一节数学课了。要知道，我在高斯幼儿园里最喜欢的课就是数学课，我可是班里唯一能数到 \(-e^{i\pi}\) 的小朋友呢！

2023年3月2日，星期四，晴转多云

好好玩的数学课，开学前就听爸爸说，第一周的内容会是冯诺伊曼序数，这是小升初数学里最基础的部分。老师为了给我们打好基础，在第一节课花了好大心思，整整50分钟一句话都没有讲。下课之后，她才告诉我们，刚才这节课的内容就是超限归纳定义冯诺伊曼序数的第一步：空集。

2023年3月3日，星期五，晴

今天老师先回顾了昨天上课一句话都没有讲的内容，然后剩下的课还是一句话也没有讲。数学科组主任真的好厉害，两节课就讲清楚了\(0=\emptyset, n+1=\{n\}\cup n\)

我的幼儿园同桌，也是我的最好的好朋友，小红，去北京上学了。今天跟她打电话的时候听说北京的小朋友不学冯诺伊曼序数，学的是策梅洛序数。奇怪，难道北京的属于关系不是传递的吗？

2023年3月6日，星期一，小雨

上周讲完自然数，这周开始讲实数。老实说，今天花了好多时间在证明实数不可数上面，听着听着有点无聊想睡觉。下课跟同桌聊天发现他也有同样的感觉，我们两个午休的时候凑合到一起，仔细一想，才发现其实这个内容我们在幼儿园玩模型的时候就已经知道了：无端点稠密线序理论是一个\(\aleph_0\)-范畴性的理论，它的可数模型全都同构于有理数，所以实数不可能是可数的。

2023年3月7日，星期二，晴转多云

今天开始学加法乘法了，我昨晚还为这个预习了好久，因为根据Ornstein同构定理，实数的相等问题可是跟伯努利推移的同构问题一样难，所以我还紧张了好一会。没想到课程内容好简单，课后作业也出奇地被我闪电般地解决了。

回家之后我问爸爸为什么会这样，他才跟我解释说因为\( (\mathbb{R},+)\) 和\((\mathbb{R}\smallsetminus{0}, \times)\)是波兰群，所以才能这么快被攻陷。他还说这是一种很一般的现象。

2023年3月8日，星期三，多云

今天是妇女节，数学老师下午放假，早上的数学课她看起来很开心，说今天的内容恰好也是一位著名的女性集合论学家的工作：Rasiowa-Sikorski引理，也是广义Baire纲定理的一个等价形式。看来很快就要学到培训班广告里总是在说的力迫法了呢。

2023年3月9日，星期四，晴

昨天老师好像出去玩得太疯了，今天请假没来，数学课改成手工课了，给我们每个人都发了一份正则基数\(\kappa\)的stationary子集，让我们把它手撕成\(\kappa\)个互不相交的stationary子集。我对这种要用到选择公理的构造很不在行，就拿昨天从妈妈钱包里偷偷拿出来的，本来要买和平精英赛季手册的钱收买了同桌让他帮我做完。

2023年3月10日，星期五，阴

昨天手工课作业自己没做，让同桌代替我做，被老师发现了55555. 没想到同桌课后在外面上竞赛班，用的是竞赛方法，假设\(\kappa\)是强不可达基数，然后反证法假设不能被拆分之后，构造迭代超幂，与迭代超幂的一般理论得到矛盾。这明显一眼就看出来不是一年级能做出来的东西，老师一气之下甚至把我们送进了校长室，校长还骂我们好大的胆子，小小年纪就敢玩大基数，长大之后还不知道会干出什么一致性强度的事情

2023年3月11日，星期六，晴

在同桌的怂恿下，我也去了他的课后竞赛培训班。到了我吓一跳，什么嘛，说是培训班，实际上就是找个借口出来打游戏。我们两个就这样疯了一下午，什么clopen game, covering game, Banach-Mazur game, perfect set game, 全都通关了一遍。 这下好了，回家要怎么跟家里解释身上必胜策略的味道啊？

2023年3月12日，星期日，大雾

今天是植树节，数学老师特地为我们布置了实践作业：种一颗Suslin树。我高高兴兴地把这个作业拿给爸爸看，但是爸爸看了却皱起了眉头来。晚上我听见爸爸和妈妈在隔壁房间好像吵架了，说什么家里没有钻石，搞到孩子作业都做不来，还说什么看看隔壁家老哥(德尔)，背着的L=V包包里面全是钻石