redcat_math https://blog.hatena.ne.jp/redcat_math/ Red cat の数学よもやま話 https://redcat-math.hatenadiary.org/ 数学・基礎論 ここまでは、与えられた集合に対して、新たな集合を作ることが出来る、という公理が中心で、具体的な集合の存在には言及していませんでした。しかし、今度の公理は、具体的な集合の存在に言及している、という意味では、他の公理とは大きく性質が異なります。 空集合存在公理 空集合存在公理 このような x は外延公理(の対偶)によって一意に定まります。このような x を で表し、空集合と言います。 次回は、ここまで紹介した公理を用いて、少し集合の性質を見ていくことにします。 空集合こぼれ話 集合論の教科書では、空集合を (ギリシャ文字の「ファイ」)で表していることが多いようです。しかしこれは、元々空集合を現して… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fredcat-math.hatenadiary.org%2Fentry%2F20061204%2F1165209922" title="集合論の公理系(その 7) - Red cat の数学よもやま話" 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 2006-12-04 14:25:22 rich https://redcat-math.hatenadiary.org/entry/20061204/1165209922 1.0 100%