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

no image

ハイパー論理

2021年8月28日 (メタアプリの日)

2021/08/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 , 2021 All Rights Reserved Powered by STINGER.