「 投稿者アーカイブ：webmaster@int2.info 」 一覧

２０２１年４月２８日　（σの日）   前回 ＺＦ（＃’）－（ω）＋￢（ω）・・・（１） ｖｓ メタ（ＺＦ（＃’）－（ω））・・・（２） を考え、（１）＋（２）で矛盾する時。 （１）は無矛盾な ...

２０２１年３月２８日　（Ｖ（ω）の日）   前回の証明で、 「ＺＦ（＃）ＳＥＴ（ｘ）　ｖｓ　“ＺＦ（＃）ＳＥＴ（ｘ）”」 について軽く触れておきました。 両者とも、メタ命題の表現と見ることも ...