در و راه مشخص از فعالیت است برای تعیین درستی یا نادرستی یک .
روش‌های اثبات مختلفی وجود دارد که مهم‌ترین آن‌ها (بدون بحث در این که کدام بهتر است یا بدتر) از این قرار است:
 : روشی عقلی است که سعی می‌کنیم گزارۀ مورد نظر را منتج از چند گزارهٔ اثبات شده بیابیم.
 : گزارۀ مورد نظر را نادرست فرض می‌کنیم و سعی می‌کنیم نشان دهیم این فرض جدید، غیرممکن است (هر چند ممکن است هر دو ناممکن بوده باشد!).
 : یک فرمول خاص را برای اعضای مجموعه اعداد مورد بحث امتحان می‌کنیم.
 : این روش استقرائی که خود، مهم‌ترین روش اثبات علوم امروزی است؛ با ، سعی در اثبات دارد. حال می‌تواند آزمایش عقلی باشد مثل روش یا آزمایش حسی مثل بسیاری از فیزیک‌دانان و .
 به بررسی روش اثبات می‌پردازد.
 
 منطق صوری دکتر محمد خوانساری دانشگاه تهران (1733)
 چیستی علم آلن چالمرز ترجمه دکتر سعید زیبا کلام (سمت)
{"title": "روش اثبات", "link": "https://fa.wikipedia.org//w/index.php?title=%D8%B1%D9%88%D8%B4_%D8%A7%D8%AB%D8%A8%D8%A7%D8%AA&oldid=34404763", "language": "fa"}