读书摘抄和心得（九）--由逻辑矛盾命题证明任意命题的故事

据说大逻辑学家罗素告诉一位哲学家“假命题蕴涵任何命题”后，那位哲学家颇为震惊，他说：“尊意莫非由2加2等于5能推出你是教皇？”罗素答曰：“正是。”哲学家问：“你能证明这一点么？”罗素答：“当然能。”

他立即发明了下面这个证明：

（1）假定2＋2＝5；

（2）由等式两侧减去2，得出2＝3；

（3）易位后得出3＝2；

（4）由两侧减去1，得出2＝1.

请看：教皇与我是二人。既然2等于1，教皇与我是一人。因此我是教皇。