Inconsistente, sistema. Un sistema es inconsistente si dos fórmulas, una de las cuales es la negación o contradicción de la otra, puedan ambas demostrarse como teoremas [v] dentro de un sistema.
—————
Volver
