|
|
可以证明,无理数一定无限不循环。你想看证明步骤,找个数学强的 AI 就行。
无理数是用戴德金分割从有理数构造出来的。有理数是从整数构造出来的。整数是从自然数构造出来的。自然数是用 ZF 集合论公理构造出来的。也就是说,只要你承认 ZF 集合论(你可以自己去搜 ZF 集合论公理),那就承认无理数,那就承认无限不循环小数。
戴德金分割概览:
将有理数集 Q 分成两个非空子集 (A,B),满足:
1. A∪B=QA∪B=Q (覆盖所有有理数);
2. A∩B=∅A∩B=∅(没有交集);
3. 对于任意 a∈A 和 b∈B ,有 a |
|