불완전성 정리는 페아노 산술에서 적용되는거고 머저리 새끼야 ㅋㅋ
예를 들어 1차 논리의 경우 완전하다는걸 괴델이 직접 밝혔단다

그럼 불완전성 정리가 말하는게 뭐냐?
어떤 공리계들은 성능이 지나치게 좋은탓에 공리계 자기 자신을 서술하는 명제들을 나타낼 수 있고 이로인해 무모순과 증명가능성을 모두 챙기는게 불가능한 명제가 생긴다는게 불완전성 정리란다

좀 아무 말이나 쳐 갖다 붙이지마 씹새끼야 죽여버리고 싶으니까

- dc official App