اثبات (ریاضی)

از ویکی‌پدیا، دانشنامهٔ آزاد.

اثبات در ریاضیات به معنی نشان دادن درستی گزاره‌ای براساس استدلال منطقی و با فرض کردن درستی چند اصل اولیه (اصل موضوع) است. گزاره‌ای که بدین ترتیب ثابت می‌شود قضیه نام دارد و بعد از اثبات می‌توان از آن در دیگر اثبات‌ها استفاده کرد.

در کتاب تاریخ ریاضیات (تألیف:پرویز شهریاری) در رابطه با اثبات آمده است:

اثبات، عبارت از استدلالی است که به یاری آن و به یاری اصل‌ها، می‌توان قضیه را ثابت کرد.
این نوشتار در زمینهٔ ریاضیات ناقص است. با گسترش آن به ویکی‌پدیا کمک کنید.