힐베르트 문제: 두 판 사이의 차이

| style="background: #ffffdd; color: black;" |[[쿠르트 괴델]]과 [[게르하르트 겐첸]] (Gerhard Gentzen)의 결과가 이 문제를 해결했는지에 대한 합의가 존재하지 않는다. 1931년에 증명된 [[괴델의 제2 불완전성 정리]]는 산술의 공리계가 자기 자신의 무모순성을 증명할 수 없음을 보였으며, 1936년에 겐첸은 [[서수순서수]] [[엡실론 영|ε₀]]이 [[기초집합]]이라는 가정을 하면 산술의 무모순성이 증명됨을 보였다.