In other logics, such as second-order logic, there are syntactically consistent theories that are not satisfiable, such as ω-inconsistent theories.
Σε άλλες λογικές, όπως η λογική δεύτερης τάξης, υπάρχουν συντακτικά συνεπείς θεωρίες που δεν είναι ικανοποιήσιμες, όπως είναι οι ω-ασυνεπείς θεωρίες.