「 月別アーカイブ：2021年08月 」 一覧

２０２１年８月２８日　（メタアプリの日）   μ’（ｘ）の関数性を用いて、ＺＦ（｛ｘ｜｝）の論理的矛盾を証明したわけですが。 単なる関数性だけからは ⏀（２）＝⏀（ω）　⇒　μ’（⏀（２）） ...

２０１９年９月２８日　（抽象の日）   前回で、第一階述語論理ベース理論Ｔにおいても、土台の集合論は無視できないことが判ったはず。 ｃｕｔで消去できないのよ、ＺＦ（！）は矛盾してるんだから。 ...