https://dasbestelexikon.de/fr/wiki/Kurt_Gödel