Liste d'affirmations conduisant à la preuve définitive que 1+1=2
(de cette proposition on déduira, quand l'addition arithmétique aura été définie, que 1+1=2)
Russell et Whitehead
Principia Mathematica