Dans un cours de Russell portant sur le fait que d´une proposition fausse, toute proposition peut être déduite, un étudiant lui posa la question suivante :
- "Prétendez-vous que de 2 + 2 = 5, il s´ensuit que vous êtes le pape ? "
- "Oui", fit Russell
- "Et pourriez-vous le prouver !" , demanda l´étudiant sceptique
- "Certainement", réplique Russell, qui proposa sur le champ la démonstration suivante.
(1) Supposons que 2 + 2 = 5
(2) Soustrayons 2 de chaque membre de l´égalité, nous obtenons 2 = 3
(3) Par symétrie, 3 = 2
(4) Soustrayant 1 de chaque côté, il vient 2 =1
Maintenant le pape et moi sommes deux. Puisque 2 = 1, le pape et moi sommes un. Par suite, je suis le pape.
Sur ce ...