羅素的證明

據說，有一好事之人曾向著名的英國哲學家兼邏輯學家羅素提出這樣一個問題：先生，既然假命題蘊涵任何命題，那么你能否由2＋2=5這個假命題推出羅素與某主教是一個人這個命題呢？
羅素不假思索，馬上給了這樣一個證明： 既然承認2+2＝5，而我知道2+2＝4，故5=4。
等式兩邊減一減一再減一，等量減等量，余數相等，故又得2=1。
而人們知道，羅素與那位主教是兩個人（2），所以羅素與那位主教是一個人（1），因為2=1。
證明完畢。