>>155

命題論理については
その公理から証明されることがすべてトートロジー(同語反復)であり
逆にトートロジーはすべて公理から証明されることであるが
この完全性が成り立つことは証明されている

だが命題の真偽の判定は数学の外から行うということで
数学には外があり内部完結されてないということになる

命題論理は完全ではあるが命題の真偽のは外い委ねるので
内部で完結されているとはいえない