sezni'i lujvo

x1 is a tautology under rules/logic system x2

Synonymous with kutyje'u. See also nibli.


In notes:

kutyje'u
x1 a tautology by standard/epistemology/metaphysics x2.
seznibju'a
j1 (text) is a tautological statement about j2 in language j3.
zilzilo
Tautological/empty predicate; it is true regardless of what and how many arguments are given to it; x1 is anything