Welcher deutsche Mathematiker bewies 1931 die Existenz unentscheidbarer Sätze in formalen Systemen?
Ein Ergebnis, das die mathematische Logik des 20. Jahrhunderts grundlegend erschütterte.
Anoniem stemmen is mogelijk. Registreer voor een profiel en score.
