L'efficacité des mathématiques nous fait croire qu'elles peuvent démontrer tout ce qui est vrai. Il n'en est rien, comme l'a démontré Kurt Gödel dans les années 1930.