Kurt Gödel

Tout système logique humain qui contient l’arithmétique est soit complet soit cohérent mais ne peut pas être les deux à la fois.
…. Théorème de Gödel. Cité par Jean Staune in Les clés du futur