＞論理構造に類似性があるかもしれないとかんがえたことはないのですか？
今は数学がこれから先矛盾するか？という話をしている。
数学に関して言えば、コンピュータソフトと違って、
その公理系の記述が完全に把握できており、
仮にこれから先矛盾が生じても、矛盾の原因となった公理を削除する
ないしは弱めるという処方箋を出すことができる。
そして、何度も言うことだが、ひとたび解決された「パラドックス」
が原因で再び矛盾が生じることはない。