ਗਣਿਤਕ ਸਬੂਤ
ਗਣਿਤ ਦੀ ਸਟੇਟਮੈਂਟ ਦਾ ਤਰਕਪੂਰਨ ਦਲੀਲ ਸਬੂਤ ਹੈ। ਇਸ ਦੀ ਦਲੀਲ ਲਈ ਥਿਓਰਮ ਜਾਂ ਹੋਰ ਪਹਿਲਾ ਹੀ ਸਥਾਪਿਤ ਸਿਧਾਂਤ ਨੂੰ ਵਰਤਿਆ ਜਾ ਸਕਦਾ ਹੈ। ਸਿਧਾਂਤ ਤੌਰ 'ਤੇ ਗਣਿਤਕ ਸਬੂਤ ਨੂੰ ਸਵੈ-ਸਪਸ਼ਟ ਕਰਨ ਲਈ ਮੰਨਿਆ ਜਾ ਸਕਦਾ ਹੈ ਜੋ ਕਿ ਪਹਿਲਾ ਹੀ ਅਟੱਲ ਸਚਾਈ ਜਾਂ ਪ੍ਰਮਾਣਿਕ ਤੱਥ ਹੈ। ਸਬੂਤ ਤਰਕਪੂਰਨ ਤਰਕ ਦੀ ਮਿਸਾਲ ਹਨ ਅਤੇ ਪ੍ਰਯੋਗਿਕ ਦਲੀਲ ਤੋਂ ਵੱਖ ਹੈ। ਗਣਿਤਕ ਸਬੂਤ ਸਟੇਟਮੈਂਟ ਹਮੇਸਾ ਸਚਾਈ ਹੈ ਇਸ ਨੂੰ ਸਬੂਤ ਪ੍ਰਦਰਸ਼ਿਤ ਕਰਦਾ ਹੈ। ਸਬੂਤ ਸ਼ਬਦ ਲਤੀਨੀ ਭਾਸ਼ਾ ਦਾ ਸ਼ਬਦ probare ਤੋਂ ਹੈ। ਸਭ ਤੋਂ ਪਹਿਲ ਕਿਸੇ ਵਿਚਾਰ ਨੂੰ ਪ੍ਰਦਰਸ਼ਨ ਕਰਨ ਲਈ ਜਿਓਮੈਟਰੀ ਦੀ ਵਰਤੋਂ ਕੀਤੀ ਜਾਂਦੀ ਸੀ ਇਹ ਇਸ ਤਰ੍ਹਾਂ ਸੀ ਜਿਸ ਤਰ੍ਹਾਂ ਜਮੀਨ ਦੀ ਮਿਣਤੀ ਕਰਨੀ। ਹਿਸਾਬ ਸਬੂਤ ਜ਼ਿਆਦਾਤਰ ਯੂਨਾਨ ਜਾਂ ਭਾਰਤੀ ਗਣਿਤ ਵਿਗਿਆਨੀ ਦੀ ਦੇਣ ਹੈ। ਥੇਲਜ਼ (624–546 ਬੀ.ਸੀ) ਨੇ ਬਹੁਤ ਸਾਰੀਆਂ ਥਿਊਰਮਾਂ ਦੇ ਸਬੂਤ ਪੇਸ਼ ਕੀਤੇ। ਇਓਡੋਕਸ(408–355 ਬੀ.ਸੀ.) ਨੇ ਬਹੁਤ ਸਾਰੀਆਂ ਥਿਓਰਮ ਦੱਸੀਆਂ ਪਰ ਉਹ ਸਬੂਤ ਪੇਸ਼ ਨਾ ਕਰ ਸਕਿਆ। ਅਰਸਤੂ (384–322 ਬੀ.ਸੀ.) ਨੇ ਕਿਹਾ ਕਿ ਪ੍ਰੀਭਾਸ਼ਾ ਨੂੰ ਕਿਸੇ ਪਹਿਲਾ ਹੀ ਪ੍ਰਮਾਣਿਤ ਧਾਰਨਾ ਨਾਲ ਦਰਸਾਇਆ ਜਾ ਸਕਦਾ ਹੈ। ਗਣਿਤਕ ਸਬੂਧ ਨੂੰ ਯੂਕਲਿਡ ਨੇ ਅਟੱਲ ਸਚਾਈ ਜਾਂ ਪ੍ਰਮਾਣਿਕ ਤੱਥ ਨੂੰ ਖੋਜਿਆ ਜੋ ਅੱਜ ਵੀ ਸੱਚ ਹੈ।