Twierdzenie to konstrukcja programowa, w której programista stwierdza („potwierdza”) warunek, który jego zdaniem zawsze będzie prawdziwy. Jeśli w niektórych językach warunek ma wartość fałsz, generowany jest wyjątek, w innych drukowany jest komunikat, aw innych program przestaje działać.