Thibitisho la kihisabati
Thibitisho la kihisabati ni njia ya kuonyesha kwa hakika kwamba wazo moja la hisabati ni sahihi. Kwa ajili hiyo ni lazima kuthibitisha kwamba hilo wazo ni sahihi daima. Njia za namna hiyo ni mbalimbali na zinatumia hoja, pengine zikianzia mawazo yaliyokwishatibithishwa.