Onko Bertrand Russell paavi?

Bertrand Russellin kuulun logiikan merkkiteoksen Principia Mathematica:n peruskäsitteestä, materiaalisesta implikaatiosta, seuraa, että ristiriidasta voidaan johtaa mikä tahansa lause. Russellia pyydettiin kerran todistamaan, että lauseesta 2 + 2 = 5 seuraa, että hän on paavi. Russell järkeili seuraavaa:

”Jos 5 = 2 + 2, niin 5 = 4. Kun vähennetään 3, saadaan 2 = 1. Paavi ja minä olemme kaksi: siispä paavi ja minä olemme yksi. Minä olen siis paavi.”