嚴謹

如果一個證明或論證的每一步驟的有效性以及步驟之間的聯絡都被明確地闡明，以確保結果的確定性，那麼該證明或論證就被認為是嚴謹的。“嚴謹”的證明通常依賴於形式系統的公設和結果，這些形式系統本身在規定的條件下被認為是嚴謹的。