-  процедура, за допомогою якої встановлюють істинність гіпотези чи будь-якого твердження.