A consistent theory is sometimes defined to be a syntactically consistent theory, and sometimes defined to be a satisfiable theory.
Μία συνεπής θεωρία μερικές φορές ορίζεται να είναι μια συντακτικά συνεπής θεωρία και μερικές φορές ορίζεται να είναι μια ικανοποιήσιμη θεωρία.