严谨

如果一个证明或论证的每一步骤的有效性以及步骤之间的联系都被明确地阐明，以确保结果的确定性，那么该证明或论证就被认为是严谨的。“严谨”的证明通常依赖于形式系统的公设和结果，这些形式系统本身在规定的条件下被认为是严谨的。