专题：set-theory

文章从自然数开始，通过递归和等价类构建整数、有理数和实数，揭示了数学结构的抽象性与无限性。重点在于不可计算数的哲学意义及其与计算理论的联系，对AI领域有间接启发。