蕴含怪论

在一个命题演算系统中，有一些公式，它是永真的，但与生活中的逻辑不甚相符，使人们觉得有点“怪”，被称为“蕴含怪论”．许多数理逻辑学家在证明公式时都尽量避免使用“蕴含怪论”，除非迫不得已.论”．但莫绍揆却避开“蕴含怪论”巧妙地证明了该公式．贝尔奈斯对此大加赞赏，称之为“莫的漂亮证明”．波兰的莫斯托夫斯基(A．Mostowski)也是一代数理逻辑宗师．有一次，贝尔奈斯要莫绍揆对莫斯托夫斯基的一篇关于各种选择公理的独立性的论文谈谈看法时，莫不仅正确地评价了该文，而且指出了其中的瑕疵．尤其令贝尔奈斯惊讶的是，这个年轻人还有完整的修改意见．贝尔奈斯对莫绍揆十分青睐，经常与之一起研究问题，对莫的论文，还帮助解决了其中一个难解决的问题．那时贝尔奈斯已到晚年，在国际上久负盛名，他的这一切行动对于一个年轻的中国学者是一种崇高的荣誉．后来莫绍揆回国了，贝尔奈斯对这位中国弟子却久久不能忘怀．据德国Heidelberg大学数学系前系主任谬勒(H．Müller)教授后来回忆，莫离开后，贝尔奈斯经常在课上情不自禁地问：莫先生对此问题如何看？当其他学生告诉他，莫先生已经回中国去了，贝尔奈斯当即神情黯然．