consistent EPIST.
(del llatí cum, amb i sistere, situar-se amb o establir-se conjuntament)
-
Afirmat d'un conjunt d'enunciats, significa la impossibilitat de deduir d'ells una contradicció.
-
Afirmat d'un parell d'enunciats comparats entre si, significa la possibilitat que ambdós siguin vertaders al mateix temps. Afirmat d'un sistema axiomàtic, propietat per la qual del conjunt d'axiomes no pot deduir-se un teorema i la seva contradicció.
-
Afirmat d'un conjunt de fórmules, significa que no qualsevol fórmula és deduïble de dit conjunt.
Una teoria és consistent si no conté un enunciat i la seva negació; si conté qualsevol enunciat se la considera trivial.
Aquesta obra està sota una llicència de Creative Commons.