Тэарэма

Зьвесткі зь Вікіпэдыі — вольнай энцыкляпэдыі.



Тэарэ́ма (па-грэцку: theorema — ад theoreo разглядаю, даследую) — матэматычнае выказванне, праўдзівасць якога даказваецца шляхам лагічных разважанняў, шляхам выкарыстання выключна правілаў фармальнага вываду для пабудовы фармальнага вываду з мноства зыходных спасылак (аксіём) у межах нейкай аксіяматычнай тэорыі.