数理逻辑的原始命题

早在1917年Nicod就提出了他的独条原始命题,以取代罗素的五条。罗素在《P.M.》再版的引论里采用了尼氏的独条,把它当作数理逻辑的最后基础。国内资料很不完全,笔者不知20年代以后各国学者对于独条有无新的评价,就我自己来说,在过去的五、六十年中一直相信它,几乎认为它是“天经地义”。最近作了仔细检查,发觉颇有问题,特写此文以就教于同志们。起点公理之外,还要有规则才能进行推论。被公允为‘原始’的。