| dbo:abstract |
In mathematical logic, two theories are equiconsistent if the consistency of one theory implies the consistency of the other theory, and vice versa. In this case, they are, roughly speaking, "as consistent as each other". In general, it is not possible to prove the absolute consistency of a theory T. Instead we usually take a theory S, believed to be consistent, and try to prove the weaker statement that if S is consistent then T must also be consistent—if we can do this we say that T is consistent relative to S. If S is also consistent relative to T then we say that S and T are equiconsistent. (en) Na Lógica Matemática, duas são equiconsistentes se a consistência de uma delas implica na consistência da outra, e . Nesse caso, afirmamos, informalmente, que cada teoria é "tão consistente quanto à outra". Geralmente, não é possível provar a consistência absoluta de uma teoria T. Então, normalmente, utiliza-se uma teoria S que se acredita ser consistente e tenta-se provar a seguinte sentença: se S é consistente, então T também deve ser consistente. Se for possível provar isso, poderá se afirmar que T é consistente em relação à S. Caso S também seja consistente em relação à T, então pode se concluir que S e T são equiconsistentes. (pt) |
| rdfs:comment |
In mathematical logic, two theories are equiconsistent if the consistency of one theory implies the consistency of the other theory, and vice versa. In this case, they are, roughly speaking, "as consistent as each other". (en) Na Lógica Matemática, duas são equiconsistentes se a consistência de uma delas implica na consistência da outra, e . Nesse caso, afirmamos, informalmente, que cada teoria é "tão consistente quanto à outra". (pt) |
