全ての命題の真偽は判定可能か否か2

157 ：：2024/03/16(土) 23:54:45.23 0.net

>>149
このL’existenceという本でも書きましたが、今ならこういう風に書きます。


矛盾が存在する
という文章で矛盾とは何か？
と矛盾の定義を書くと
A及び¬A(Aの否定)が同時に成立する事
となる。しかし¬Aの定義をAの意味領域と排反の意味領域と定義した場合、A∩¬A=φとなり、A及び¬Aが同時に成立する事はない定義として展開される。

そもそもこの世界矛盾など最初からない。