väide, mis on paratamatult tõene; loogikaviga, mis seisneb väite tõestamises ja mõiste defineerimises sellesama väite või mõiste varal