Triviality

Triviality is a property of formal systems in logic. A system is trivial if its set of axioms $X$ entails every well-formed formula according to the inference rules of the system, i.e.,
$\forall \phi.\left[X\vdash \phi\right]$