0.9999… =1が納得できない人へ [303493227]

328 ：安倍晋三🏺 ◆abeshinzo. (ﾜｯﾁｮｲW 3fcc-QEWL)：2024/02/21(水) 21:37:11.59 ID:qhyNkmi00.net

Aを1未満の実数の集合、Bを1以上の実数の集合とすると
(A,B)は実数の切断であるのでデデキントの公理により
Aには最大限がない
0.9999…<1と仮定すると0.9999…がAの最大元になるから矛盾