Uma teoria é trivial se a partir dela podemos deduzir qualquer fórmula da linguagem a ela subjacent
In classical logic, a contradiction allows one to derive every other sentence of the underlying lan
