derwind https://blog.hatena.ne.jp/derwind/ らんだむな記憶 https://randommemory.hatenablog.com/ math-other 素朴な集合論 - らんだむな記憶で 「集合すべての集合」というものを考えて $X$ という名前をつける。すると、$X$ 自身もまた集合であって、$X$ はすべての集合を含むのであるから、$X \in X$ が成立する。こういう集合の集合的なものを第2種だとか第2類とか呼んだ気がするが忘れた。 と書いたがやっと思い出した。というか書いてある本を本棚から見つけた。大分前に読んだ本だが、 Amazon.co.jp： 公理と証明 証明論への招待 (ちくま学芸文庫): 彌永 昌吉, 赤 攝也: 本だ。「第2章 数学の基礎」に 一般に、このように、自分自身をその元として含むような集合を `第2種' の集合… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Frandommemory.hatenablog.com%2Fentry%2F2016%2F02%2F12%2F000001" title="集合の集合 - らんだむな記憶" 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 2016-02-12 00:00:01 rich https://randommemory.hatenablog.com/entry/2016/02/12/000001 1.0 100%