Goosetalk
Welcher deutsche Mathematiker bewies 1931 mit seinem Unvollständigkeitssatz, dass jedes hinreichend mächtige formale System unentscheidbare Aussagen enthält? – Goosetalk