0086132人目の素数さん垢版 | 大砲2020/10/01(木) 19:25:56.30ID:n2o6aWK1 >>4 >>28 実際は・・・・ 初めにコーシーの収束判定法(1812)ありき、だった。 それを正当化するために、切断(1872)やら完備性(1891)やらを 「実数」の公理に含めたわけで。 工学系なら気にせず利用すればよい。 理学系ならきっちり詰めとかないと、将来困るかも。