Por lo tanto si una teoría contiene una única inconsistencia, resulta trivial— esto es que toda expresión se entiende como un teorema.