logicky pravdivý <span class="linked_term" onclick="showTermNamed('výrok')">*výrok</span>, jehož pravdivostní hodnota nezávisí na světě ani na čase. Na odvozování ve formalizovaných teoriích lze pohlížet jako na řetěz tautologií. (Jaroslav Malina)