デデキント切断で実数を構成した後に順序と演算を入れ、完備な順序体にしたのだ。そのあと有理コーシー列との関わりを見たのだ。完備順序体やコーシー列の収束などの証明を全部書いたから文字数は多いけど見ていってほしいのだ。優しい証明が多いから自明だ…

他のけものが実数の公理を見て「当たり前のことが書いてあるけど公理って何？」から「公理と定義の違いがわからない」ってなってたからその解説も込めて公理に関する雑感を書くのだ数学の教科書一般のちょっとあやふやな公理を解釈するためにこの文章は書か…