Konsistens (av latinetsconsistere, "bestå", "hålla") betecknar inom logiken en satsmängd, axiomuppsättning, teori eller dylikt som det inte är möjligt att härleda en motsägelse ur. Om man kan härleda en motsägelse är satsmängden istället inkonsistent.