huukyou https://blog.hatena.ne.jp/huukyou/ Humanoid K’s diary https://estela.hatenadiary.jp/ ユークリッド幾何学には多くの暗黙の前提が使われています。それらを明確にする試みがヒルベルトによってなされました。ヒルベルトの公理系には基本的な公理の他に、デデキントの公理とアルキメデスの公理の二つが採用されています。 直線が完備である、つまり、ギャップがない（連続している）というのがデデキントの公理ですが、これは実数の連続性（continuity of real numbers）とも呼ばれ、実数の集合がもつ性質です。実数の連続性は実数の完備性（completeness of the real numbers）のことです。そして、デデキントの公理、あるいは実数の連続性（完備性）の公理は「実数を空… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Festela.hatenadiary.jp%2Fentry%2F2025%2F10%2F09%2F100223" title="点と線、あるいは刹那滅と前後際断の解釈：A君の要約と課題 - Humanoid K’s diary" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2025-10-09 10:02:23 rich https://estela.hatenadiary.jp/entry/2025/10/09/100223 1.0 100%