bn:02793738n
Noun Concept
Categories: Lógica matemática
PT
Equiconsistência  força consistência
PT
Na Lógica Matemática, duas teorias são equiconsistentes se a consistência de uma delas implica na consistência da outra, e vice versa. Wikipedia
Definitions
Sources
PT
Na Lógica Matemática, duas teorias são equiconsistentes se a consistência de uma delas implica na consistência da outra, e vice versa. Wikipedia
Igualmente consistente Wikidata
Wikipedia
Wikidata
Wikipedia Translations