힐베르트 문제: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
잔글 백토:외국어 고유명사의 한글 표기#마무리의 토론 결과에 따른 처리 |
|||
20번째 줄:
| [[산술]]의 [[공리]]들이 무모순임을 증명하라.
| style="background: #ffffdd; color: black;" |[[쿠르트 괴델|괴델]]과 [[게르하르트 겐첸|겐첸]] (Gentzen)의 결과가 이 문제를 해결했는지에 대한 합의가 존재하지 않는다. 1931년에 증명된 [[괴델의 제2 불완전성 정리]]는 산술의 공리계가 자기 자신의 무모순성을 증명할 수 없음을 보였으며, 1936년에 겐첸은 [[서수]] [[엡실론 영|ε<sub>0</sub>]]이 [[기초집합]]이라는 가정을 하면 산술의 무모순성이 증명됨을 보였다.
| 1936년
|-
| 3
| |||