N a p l o g

この問題に関して一応の決着を着けて来ました。本当は明後日の土曜にしようかと思っていたんですが、突然の展開で急遽、今日のサジェスト(適当な日本語が浮かばない・・・)となりました。

問題の解決方法は公理系をある仮定の元に作り、そこにおける命題の論理的展開をした、というだけです。論理展開は自分の好きな方法を使えるのでよく、結局は仮定の導入が重要なファクタとなります。そのファクタもまた偏在する情報を元に導入したのでそれが正しいとも限りませんし、ましてモデルとしての今回の世界も一般化されているかと言えばそうではありません。最終的には後味がいいか悪いかでしかないんですよね、結局は気持ちです。

というわけで、これからも関わることになるだろうこのモデルの世界に関しては、自分の中で一つの公理系を作れたことになります。あとはこの仮定が正しいかどうか、それは不完全性定理の名の元に不完全であるため、気持のほうを優先させていこうと思います。わだかまりは精神衛生上よくありませんからね！