「 年別アーカイブ:2021年 」 一覧

no image

ハイパー論理

2021年12月28日

2021/12/28   -ハイパー論理

2021年12月28日 (hanの日)   置換公理は性質φ(x)を用いたシェーマです。 そして、内包公理の矛盾により。 φ(x)によるシェーマ性がZF矛盾に関与していることが、薄々、判って ...

no image

ハイパー論理

2019年5月28日 (ADの日)

2021/12/15   -ハイパー論理

2019年5月28日 (ADの日)   「集合論の宇宙はΔではない。」 これが集合論の基本原則ですが。 このレベルで判って無い猿が多すぎる。 ZFの宇宙はΔだと錯覚してるのよ。 その所為で、 ...

no image

ハイパー論理

2021年11月28日

2021/11/28   -ハイパー論理

2021年11月28日 (微妙な日)   ZF矛盾の原因として、今までは 「⏀のパラドックス」 に着目した議論をしてきましたが。 「原因はそれだけか?」 とも懐疑し続けました。 そろそろ、よ ...

no image

ハイパー論理

2019年6月28日 (経済の日)

2021/11/15   -ハイパー論理

2019年6月28日 (経済の日)   未だに、 「ZF矛盾の証明ができてない。」 と思っているプロも多い模様。 ホント、夢想を刷り込まれた鳥猿の惨めさよ。 この導入部から、本論に入ります。 ...

no image

ハイパー論理

2021年10月28日

2021/10/28   -ハイパー論理

2021年10月28日 (言の日)   今まで、数学の証明全体を見直す必要があることを指摘してきました。 これは、ZF({x|})が矛盾していることからの論理的帰結なんですが。 鈍い猿は、こ ...

no image

ハイパー論理

2019年7月28日 (LKの日)

2021/10/15   -ハイパー論理

2019年7月28日 (LKの日)   数学者は集合論や論理を自分達の領域の必須分野だと思ってなかった。 だから、勉強できてない。 これじゃ、証明の何たるかが判るはずもない。 まして、況や、 ...

no image

ハイパー論理

2021年9月28日

2021/09/28   -ハイパー論理

2021年9月28日 (知力の日)   前回で、ZF({x|})矛盾の行間説明は終了です。 この状況で大事なのは。 従来の猿は、 「ZFとZF({x|})は同値」 だと思っていたという点です ...

no image

ハイパー論理

2019年8月28日 (前提の日)

2021/09/15   -ハイパー論理

2019年8月28日 (前提の日)   前回に続き、証明論系シークエントに関する話題を。 私の行間埋め作業は正しく実行されるのですが。 猿の方も、似たような真似をしてきました。 それが、論理 ...

no image

ハイパー論理

2021年8月28日 

2021/08/28   -ハイパー論理

2021年8月28日 (メタアプリの日)   μ’(x)の関数性を用いて、ZF({x|})の論理的矛盾を証明したわけですが。 単なる関数性だけからは ⏀(2)=⏀(ω) ⇒ μ’(⏀(2)) ...

no image

ハイパー論理

2019年9月28日 (抽象の日)

2021/08/15   -ハイパー論理

2019年9月28日 (抽象の日)   前回で、第一階述語論理ベース理論Tにおいても、土台の集合論は無視できないことが判ったはず。 cutで消去できないのよ、ZF(!)は矛盾してるんだから。 ...

Copyright© International Intelligent Information Inc. 山口人生 I.I.I , 2022 All Rights Reserved Powered by STINGER.