（二）阐释

中国科学院院士杨叔子说：“科学知识是讲道理的，但是作为现代科学体系的公理化体系，其前提与基础就是‘公理’，即所谓‘不证自明’的知识，‘不证自明’就是讲不出道理，也就是不讲道理，非承认不可。”

现代科学发展特别快。尤其是电脑的进步，日新月异。电脑书店，2个月不去，就有换茬之感。搞科研，尤其是搞电脑诊病的科研，不紧追赶不行。即使追赶，也是追不上。

1985年，大学里电脑也很少或没有。鉴定我们的第一个成果——马腹痛电脑诊疗系统时，有的鉴定委员说：那是个机器，还比我的脑袋好使？现在普及率高了，没有人再怀疑它好使了。

这里仅摘录我们收集到的现代科学公理化体系中的一小部分。目的是在说，你不要怀疑了，它们已经是公理了。这些公理，就是数学诊断的基础。