Gödel, Kurt

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.
Kurt Gödel. Théorème de Gödel. Cité par Jean Staune in Les clés du futur