circulus vitiosus 1(n), ringtõestus 1(n)

tõestusviga, mille puhul tõestamisel kasutatakse seda, mida on alles vaja tõestada (EKSS)