>>170

つづき

６．さらに、正則性公理の意味の補足
　　「>=, we have 1 >= 1 >= 1 >= ・・・」の例類似で、”∈を使った順序”で、∋は >=では無く、>（等号=含まず）(>>150と>>152)」だとか、
　　正則性公理の意味の別の側面で、それは極小元の存在保証（無限降下列禁止）の意味があるとか、そういう蘊蓄を、付け加えておけば、新歓としては良いだろうね（＾＾

（参考）
http://fuchino.ddo.jp/misc/goedel-universe.pdf
渕野 昌，連続体仮説とゲーデルの集合論的宇宙（ユニヴァース）， 現代思想，2007年2月臨時増刊号 (2007), 94-116
https://www.jstage.jst.go.jp/article/sugaku/65/4/65_0654411/_pdf/-char/ja
特別企画 これから学ぶ人のために 公理的集合論 渕 野 昌 - J-Stage 渕野昌 著 数学 ?2013
https://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86
ペアノの公理 （ここにフォン・ノイマンの構成法がある）
http://evariste.jp/kagami/index.html
かがみのホームページ プロフィール 学生時代の専攻は数学。今の趣味も数学。
http://evariste.jp/kagami/diary/0000/200401.html#20040103-1
2004年1月3日 自然数の構成と ω
http://evariste.jp/kagami/diary/0000/200402.html#20040201-2
2004年2月1日 自然数と数学的帰納法
http://evariste.jp/kagami/diary/0000/200402.html#20040207-2
2004年2月7日 順序
http://evariste.jp/kagami/diary/0000/200403.html#20040320-1
2004年3月20日 順序数の定義
http://evariste.jp/kagami/diary/0000/200403.html#20040322-1
2004年3月22日(月) 整列順序
http://fuchino.ddo.jp/foundation.html
基礎の公理の成り立たない集合論 (non well-founded set theory) について
渕野 昌(Sakae Fuchino) Last modified: Sat Aug 13 14
以上