「 投稿者アーカイブ:webmaster@int2.info 」 一覧
-
-
2019年12月28日
2021/05/15 -ハイパー論理
2019年12月28日 (構成の日) 今回から、創世編に入る予定だったのですが。 まだ、ZF矛盾の本質が判ってないプロが多い模様。 これぞ世界レベルの知力基準の現われです。 仕方ないので ...
-
-
2021年4月28日
2021/04/28 -ハイパー論理
2021年4月28日 (σの日) 前回 ZF(#’)-(ω)+¬(ω)・・・(1) vs メタ(ZF(#’)-(ω))・・・(2) を考え、(1)+(2)で矛盾する時。 (1)は無矛盾な ...
-
-
2021年3月28日
2021/03/28 -ハイパー論理
2021年3月28日 (V(ω)の日) 前回の証明で、 「ZF(#)SET(x) vs “ZF(#)SET(x)”」 について軽く触れておきました。 両者とも、メタ命題の表現と見ることも ...