數學證明|數學傳播 ,

在計算機科學上才邏輯學佐證（Therefore proof）就是任意的的合取信息系統中均按照很大的的準則準則，主要數學證明由合取方程組推論公理的的過程。 較之確鑿證據，高等數學佐證靠 邏輯推理 ，因而不在意依照。

邏輯數學證明學佐證的的數學方法(經營策略如果類型來講須拆成幾種 想分享的的就是 逆否命題法(contrapositive proof 和 歧見證法(proof in represents be contradiction) 考量公理做為 : What H then N

在高等數學上時，微積分斷定 任意的的命題控制系統之中，依很大的的比賽規則或者行業標準由其有理數與公式求解出與某種公理的的數學證明過程。物證算術斷定多半邏輯推理，不過單靠大自然剖析與經驗性的的論點。