なぜ ZFC (特に AC を含む公理系) を default の数学体系として採用してよいと言えるのか，という議論をここに書き足しました：
フォロー
この
『無限のスーパーレッスン』 の hyper-critique
と題した作文は，2014の暮れに書き始めたのだが，少しづつ書き足していった結果，結構長いものになってしまった．
文章の性質上，どこかに発表することは，これからもないと思うが，数学的内容は，他で発表したものと関連のあるものになっていることも，ある．
https://fuchino.ddo.jp/misc/superlesson.pdf
今日，数理研の講究録に投稿した論説
https://fuchino.ddo.jp/papers/RIMS2022-tychonoff-x.pdf
の introduction の最後に書いたことの，一般向けの説明になっているような内容を，この作文の第１節の最後に付け加えてみた：
https://mathstodon.xyz/@sakaefuchino/109579283785466334
＃数学 #集合論 #logic #settheory #数学の基礎づけ [参照]
