不是的，人并不靠公理存活，人靠经验存活，事实表是一组经验表，它并不是完全不可更好的，而是检验越多，越依赖的经验越难更改。它也不必是完全定义的，也不必是完全定义清晰的。但它确实可以构成约束。在矛盾出现后你要么怀疑解释，要么怀疑经验，要么怀疑输入数据，总之你需要对它们进行处理，做出选择，甚至对三者同时做出微调。