Equiconsistency
http://dbpedia.org/resource/Equiconsistency an entity of type: WikicatLargeCardinals
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".
rdf:langString
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".
rdf:langString
rdf:langString
Equiconsistency
rdf:langString
Equiconsistência
xsd:integer
3435716
xsd:integer
1102795195
rdf:langString
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.
rdf:langString
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.
xsd:nonNegativeInteger
5281