მათემატიკაში დამტკიცება არის დედუქციური მსჯელობა, რომელიც გამოიყენება გამონათქვამის დასაბუთებისათვის. ამგვარი მსჯელობის დროს შესაძლებელია უკვე არსებული, ადრე დასაბუთებული დებულებების გამოყენება. სურვილის შემთხვევაში, შესაძლებელია რომ დამტკიცებისას გამოყენებულ მსჯელობას მივყვეთ უკუსვლით იქამდე სანამ არ მივადგებით ისეთ საწყის დებულებებს, რომელთა ჭეშმარიტება თავისთავად ცხადია ან რომლებიც მიჩნეულია როგორც ჭეშმარიტი დებულებები. ისეთ საწყის დებულებებს კი, რომლებიც დამტკიცების გარეშეა მიღებული როგორც ჭეშმარიტი დებულებები, აქსიომები ეწოდება.