Translation examples
Der deutsche Mathematiker Gödel hatte aufgezeigt, daß selbst einfache arithmetische Systeme Dinge enthielten, die stimmten, aber unbeweisbar waren.
The German mathematician Gödel had shown that even simple systems of arithmetic contained things which were true, but unprovable.