2020年5月28日 (イロハの日)

更新日:

ここから、ハイパー論理に 

前回の弱AC関連の話題として登場した

ZF外で、ZF+弱AC内の新命題(論理式)

x)ψ(x)・・・(1)

ですが。

今更、

「そんなものが必ずあるという保証は?」

なんぞというレベルの懐疑を抱くようでは話にならないの。

 

弱ACはZFから独立なので、少なくとも、ZF外でZF+弱AC内の閉論理式

Ψ

があるわけで。

Ψが(1)の形式になるかどうかの保証を気にするのでしょうが。 

そういうレベルの話じゃないのよ、あの抽象化伏線は。 

Ψは閉論理式だから、少なくとも(1)か

x)ψ(x)・・・(2)

のどちらかの形式的表現になるはずですが。

 

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

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