1推荐信号
1讨论来源
2025-09-30最近提及
为什么 HN 用户提到它？
自动整理的讨论摘录，保留原始英文。阅读原文了解完整语境。
To get a better appreciation of the difficulty of formally constructing the integers as we know them, I recommend trying the Numbers Game in Lean found here: https://adam.math.hhu.de/ https://adam.math.hhu.de/阅读完整讨论