数学 上， 严谨 （rigor，mathematical rigor）不同于生活中的严谨，它指数学系统尤指 公理系统 的 完备性 和 自洽性。