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