পূর্বে ছবি, উপমা, ইত্যাদি অনুসন্ধানমূলক কৌশল ব্যবহার করে প্রমাণ করা হত, যা পরবর্তীতে গাণিতিক প্রমাণে রূপ নেয়। হতে পারে, কোনো উপসংহারে পৌঁছানোর এ ধরনের অভিপ্রায় ঘটেছিল সর্বপ্রথম জ্যামিতি থেকে, যার অর্থ ভূমির পরিমাপ। প্রাথমিকভাবে গাণিতিক প্রমাণের উদ্ভব হয়েছিল প্রাচীন গ্রীক গণিতশাস্ত্র থেকে, যা তাদের একটি অনন্য কৃতিত্ব ছিল। <MASK> (৬২৪-৫৪৬ খৃস্টপূর্ব) এবং হিপোক্রাটিস অব খায়স (৪৭০-৪১০ খৃস্টপূর্ব) জ্যামিতির কিছু উপপাদ্য প্রমাণ করে গিয়েছিলেন। ইউডক্সাস (৪০৮-৩৫৫ খৃস্টপূর্ব) এবং থিইটিটাস (৪১৭-৩৬৯ খৃস্টপূর্ব) উপপাদ্য প্রনয়ণ করেছিলেন কিন্তু প্রমাণ করেননি। অ্যারিস্টটল (৩৮৪-৩২২ খৃস্টপূর্ব) বলেছিলেন, কোনো সংজ্ঞা দ্বারা যে বিষয়ের সংজ্ঞায়ন হচ্ছে, ইতোমধ্যে জ্ঞাত বিষয়গুলো দিয়ে এর বর্ণনা করা উচিত।
গাণিতিক প্রমাণ
Kant অ্যারিস্টটল Leibniz থেলিস