Le logicien Bertrand Russell, pour montrer qu'on peut tout déduire d'une proposition fausse, exposa ainsi : "Admettons que 2 = 1. Le pape et moi sommes 2. Or 2 = 1. Donc le pape et moi sommes 1. par conséquent, je suis le pape."