天国のゲーデルに教えてあげたいですのや

G∧￢Gの出現は意味論的にはGの強調ですのやｗ

　その根拠は、クォーク命題Xにとって「X∧￢XはXを強調する意味がある」というワケですがな、そうでっしゃろ、そうやないか。蛇足になりますが初めての読者のために繰り返しますと、クォーク命題X「X is A」がございますれば形式上の否定命題は￢X「X is not A」になりまして、中間子文X∧￢Xの意味は「AであるものがXであってAでないものはXではない」となることから来とります、あ、はい。
　Gが数学の無矛盾性と同値でありさえすれば、何の問題も無く数学は無矛盾だということになるんですがな、そうでっせ。

なんか、

天国のゲーデルに教えてあげたい気がします！



（合掌ｗ）