「 月別アーカイブ：2022年01月 」 一覧

２０２２年１月２８日　（拡張の日）   前回、 「半公理体系　ｖｓ　正則公理体系　ｖｓ　非正則公理体系　ｖｓ　特異公理体系」・・・（Ｔ） という新概念を定義した段階では。 猿は、些細な違いを ...

２０１９年４月２８日　（合体の日）   前回から、証明文学は第四ステージに入っています。 まず、その冒頭を飾るのがＹＪ編で。 今回は前回の続編になります。 集合論＋Ｔ（Ｘ）が数学証明の作業場 ...