Besonderhede van voorbeeld: 7007268166024504163

English

In 1934 and 1939 two volumes of Grundlagen der Mathematik were published which were intended to lead to a 'proof theory', a direct check for the consistency of mathematics.

Korean

1934 및 Grundlagen 데르 Mathematik 1939 2 볼륨에서 어떤 의도로 이어질됐다 출판 '증거 이론이'수학의 일관성을 직접 확인하시기 바랍니다. 괴델 '자라 종이들이 목적은 불가능했다.