| Part of the series on|
Logic and rhetoric
Triviality is a property of formal systems in logic. A system is trivial if its set of axioms entails every well-formed formula according to the inference rules of the system, i.e.,
An example of triviality is a classical propositional system containing contradictory sentences for axioms; in such a system the principle of explosion can be used to infer any possible proposition or sentence.