0157132人目の素数さん垢版 | 大砲2019/11/29(金) 08:55:22.09ID:ZJddOFzZ >>155 命題論理については その公理から証明されることがすべてトートロジー(同語反復)であり 逆にトートロジーはすべて公理から証明されることであるが この完全性が成り立つことは証明されている だが命題の真偽の判定は数学の外から行うということで 数学には外があり内部完結されてないということになる 命題論理は完全ではあるが命題の真偽のは外い委ねるので 内部で完結されているとはいえない