Matematinis įrodymas
Matematinis įrodymas – pademonstravimas, kad kažkoks matematikos teiginys yra būtinai teisingas laikantis priimtų tos srities aksiomų. Matematinis įrodymas visada remiasi loginėmis išvadomis, o ne tik empiriniais stebėjimais, kitaip tariant, įrodymas turi pademonstruoti, kad teiginys yra teisingas visada ir absoliučiai be jokių išlygų. Tokie teiginiai matematikoje paprastai vadinami teoremomis ir, kartą įrodyti, gali būti naudojami kaip prielaidos kituose matematiniuose įrodymuose.