Une anecdote au sujet du logicien anglais Bertrand Russell.

Un jour, alors qu'il donne une conférence ouverte au grand public, Russell explique ceci : si un ensemble d'axiomes est inconsistant, alors toute affirmation est démontrable à partir de celui-ci.

Russell fait ainsi référence à la version sémantique du fait suivant : tout énoncé peut être démontré à partir d'une prémisse fausse.

L'auditoire met immédiatement Russell au défi de démontrer que M. Smith, présent dans la salle, est le pape, à partir de la prémisse fausse : \(0 = 1\).

Russell raisonne alors immédiatement ainsi : \(0 = 1\) implique \(1 = 2\) ; considérons alors l'ensemble à 2 éléments constitué par M. Smith et le pape.
Comme 1 = 2, l'ensemble se compose en réalité d'un unique élément, faisant de Smith et du pape une unique personne.