羅素的證明

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