罗素的证明

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