罗素的证明

　　据说，有一好事之人曾向著名的英国哲学家兼逻辑学家  罗素提出这样一个问题：先生，既然假命题蕴涵任何命题，那  么你能否由2＋2=5这个假命题推出“罗素与某主教是一个  人”这个命题呢？  　　罗素不假思索，马上给了这样一个证明：  　　既然承认2+2＝5，而我知道2+2＝4，故5=4。等式两  边减一减一再减一，等量减等量，余数相等，故又得2=1。而  人们知道，罗素与那位主教是两个人（2），所以罗素与那位  主教是一个人（1），因为2=1。证明完毕。