Матэматычны доказ: Розніца паміж версіямі

'''Доказам''' у [[матэматыка|матэматыцы]] называецца ланцуг [[логіка|лагічных]] вывадаў, які паказвае, што пры якімсьці наборы [[аксіёма]]ў і правілаў высновы з'яўляецца слушным пэўнае сцьверджанне. У залежнасці ад кантэксту, можа мецца на ўвазе доказ у рамках пэўнай фармальнай сістэмы (пабудаваная па адмысловых правілах паслядоўнасць сцьверджанняў, запісаная на фармальнай мове) ці тэкст на натуральнай мове, паводле якога пры жаданні магчыма аднавіць фармальны доказ. Даказаныя сцьверджанні ў матэматыцы называюць [[тэарэма]]мі (у матэматычных тэкстах звычайна маецца пад сабой, што доказ кімсьці знойдзены); калі ні сцьверджанне, ні яго адмаўленне яшчэ не даказаныя, то такое сцьверджанне называюць гіпотэзай. Часам у працэсе доказа тэарэмы выдзяляюцца доказы меней складаных сцьверджанняў, называемых лемамі.