Dans Principia Mathematica, Bertrand Russel et Alfred Whitehead ont tenté de fournir des assises rigoureuses aux mathématiques en utilisant comme base la logique formelle. Ils ont débuté avec ce qu'ils considéraient être des axiomes, dont ils se sont servis pour établir des théorèmes à la complexité croissante. Arrivés page 362, ils ont démontré suffisament de choses pour pouvoir avancer que 1+1=2.
Ted Chiang, Division par zéro, in La tour de Babylone