자연수론을포함하는무모순인 모든 공리계 A에 대하여,A에는결정 불가능한명제들이 존재한다.즉, A안에는G 또는 ~G를 A 안에서 증명할 수 없는 명제 G가 존재한다
[무물보AI] 답변 로딩중...