6240 证明

　　Author :晓思

　　Issue : 总第 122期

　　Provenance :羊城晚报

　　Date :

　　Nation :

　　Translator :

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

　　罗素不假思索，马上给了这样一个证明：

　　既然承认2+2=5，而我知道，2+2=4，故5=4。等式两边减1减1再减1，等量减等量，其余数相等，故又得2=1。而人们知道，罗素也那们主教是两个人（2），所以罗素与那位主教是一个人（1），因为2=1。证明完毕。