>>完全な真偽の判定なんて無理
不完全性定理が出てきたからこそ
そういう意見が一般的になったのかと
まあゲーデルが居なくてもきっと不完全性定理は
発見されていたかと思いますけどね