Definition Consistent Theory (Satisfiability Modulo Theory) A theory is consistent if it admits at least one -interpretation: