Tõestus
Tõestuse all mõeldakse matemaatikas, loogikas ja filosoofias kehtivat arutlust, mille eelduste tõesus on teada või kokku lepitud. Tõestus võib olla ka arutlus, mis näitab mingi propositsiooni tõesust. Mõnikord mõeldakse tõestamise all ka veenvat põhjendamist. Aristotelese järgi on tõestus deduktiivne süllogism, mille eeldused on enesestmõistetavad. Teaduses peavad Aristotelese järgi kõik väited olema tõestatud. Füüsikas, keemias ja paljudes muudes loodusseadusi uurivates teadustes kasutatakse paljude asjade uurimisel katse-eksituse meetodit, mille abil saab küll tõendada, aga mitte tõestada. Matemaatikas kasutatakse antiikajast peale teoreemide tõestamist. Algul mõisteti tõestamise lähtekohaks olevaid aksioome ja postulaate enesestmõistetavana. Tänapäeva matemaatikas võib aksioome suvaliselt valida, mistõttu tõestus taandub järeldumise kindlakstegemisele. Matemaatilises loogikas on tõestuste teooria. Tõestamise või tõendamise käigus saab hüpoteesist teooria.