Consistent Theory

Creator

Created

2022 Apr 5 15:32

Editor

Edited

2024 Jul 29 4:55

Refs

거짓을 추론할 수 없는 이론

무모순적 이론에서는 스스로와 그 부정을 모두 증명할 수 있는 문장이 존재하지 않는다

반대로 모순적인 이론은 모든 문장이 증명 가능하므로 무의미한 이론이 된다

////