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