Andreas-Oian

Eit utsegn er ein "vacuous truth", viss det er på forma $\forall x \in A, P(x)$ og $A$ er ei tom mengde. "Alle troll kan køyre bil" er eit sant...

Ja, det er ei god omsetjing! På nynorsk ville ein sagt "inkjeseiande sanning".