Une chose me trouble cependant.
Les mathématiques ne sont-elles pas un outil, inventé par l’homme ?
L’homme est-il capable de perfection ?
"car la formalisation des mathématiques est arrivée bien après."
Est-elle finie cette formalisation ? Ne peut-il pas y avoir encore et encore, éternellement, des incohérences dans les mathématiques ?