A satisfiable theory is a theory that has a model.
Μία ικανοποιήσιμη θεωρία είναι μια θεωρία που έχει ένα μοντέλο.