罗素的证明

据说，有一好事之人曾向著名的英国哲学家兼逻辑学家罗素提出这样一个问题：先生，既然假命题蕴涵任何命题，那么你能否由2＋2=5这个假命题推出罗素与某主教是一个人这个命题呢？

罗素不假思索，马上给了这样一个证明： 既然承认2+2＝5，而我知道2+2＝4，故5=4。

等式两边减一减一再减一，等量减等量，余数相等，故又得2=1。

而人们知道，罗素与那位主教是两个人（2），所以罗素与那位主教是一个人（1），因为2=1。

证明完毕。