2020년 11월 28일 (토) 03:38 판 편집 慈居 (토론 \| 기여) 장기인증된 사용자 18,486 편집 편집 요약 없음 ← 이전 편집		2021년 9월 6일 (월) 10:54 판 편집 편집 취소 TedBot (토론 \| 기여) 봇, 업로더 2,726,675 편집 잔글 봇: 전거 통제 틀 추가 다음 편집 →
18번째 줄: 때로는 주어진 공리계에서 어떤 명제를 증명하는 것은 불가능하다고 밝혀지는 경우도 있다. [[연속체 가설]]이 그 예이다. 대부분의 공리계에는 증명도 반증도 불가능한 명제가 존재한다. 더 자세한 설명은 [[불완전성 정리]]를 참고 {{전거 통제}} {{토막글\|수학}}

증명 (수학): 두 판 사이의 차이