Au début du XXème siècle, les philosophes et mathématiciens Alfred North Whitehead et Bertrand Russell ont entrepris un projet consistant à reconstruire l’ensemble des mathématiques à partir de règles logiques fondamentales.

Leur objectif n’était pas simplement de faire des calculs. Ils cherchaient à démontrer que les mathématiques reposent sur une structure logique rigoureuse, sans intuition cachée, sans « évidence » implicite.

Même l’affirmation $1+1=2$ peut être établie formellement. Voici un aperçu d’une preuve de ce résultat.