Goosetalk
Welcher deutsche Mathematiker bewies 1931 die Existenz unentscheidbarer Sätze in formalen Systemen? – Goosetalk