诡异逻辑；集合与定义；“数轴是什么”与实数的诞生…