برهان
از ویکیپدیا، دانشنامهٔ آزاد.
اثبات در ریاضیات به معنی نشان دادن درستی گزارهای براساس استدلال منطقی و با فرض کردن درستی چند اصل اولیه (اصل موضوع) است. گزارهای که بدین ترتیب ثابت میشود قضیه نام دارد و بعد از اثبات میتوان از آن در دیگر اثباتها استفاده کرد.
ریاضیات اصول را اثبات نمیکند، اما قضایا با ارائه برهانهای مختلف و با کمک اصول اثبات میشوند.
[ویرایش] پانویس
- ↑ پرویز شهریاری. تاریخ ریاضیات. در رابطه با اثبات

