위키 홈 Edit 괴델의 불완전성 정리 See also Gödel’s first incompleteness theorem Gödel’s second incompleteness theorem