2021年4月28日 (σの日)

投稿日:

2021年4月28日 (σの日)

 

前回

ZF(#’)-(ω)+¬(ω)・・・(1)

vs

メタ(ZF(#’)-(ω))・・・(2)

を考え、(1)+(2)で矛盾する時。

(1)は無矛盾なのに、(1)+(2)が矛盾する可能性について言及しました。

こうなると、ZF矛盾に到達できません。

何とか、(1)+(2)の矛盾から(1)の矛盾を出したいわけだ。

この為に、どうすれば良いのか?

というわけで、以下、前回の続きになります。

引き続きこのコンテンツを閲覧するには会員ログインが必要です。ログインページに移動
未だ会員登録がお済みでない方は新規会員登録へお進みください。

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