(Paul Bernays)的命题演算公理系统。
理论计算机科学.莫绍揆在1987年出版了《递归函数论》，1987年与王元合着《可计算性理论》，还着有《算法论》，这几本书偏向理论计算机科学，即计算模型和计算理论。曾与胡世华在递归论问题上有所交流和讨论。
奖项.
莫绍揆奖学金.美国宾州斯特劳兹堡州立大学（East stroudsburs university of Pennsylvania）数学系教授史念东感恩莫绍揆师恩，在南京大学设