거짓을 추론할 수 없는 이론무모순적 이론에서는 스스로와 그 부정을 모두 증명할 수 있는 문장이 존재하지 않는다반대로 모순적인 이론은 모든 문장이 증명 가능하므로 무의미한 이론이 된다
Alan Jo