Here a theory is a set of formulas in a particular formal logic and signature, while a model is a structure that gives a concrete interpretation of the theory.
Εδώ θεωρία λέγεται το σύνολο από προτάσεις σε κάποια δεδομένη τυπική λογική και οπλισμό (signature), ενώ ένα μοντέλο είναι μια δομή που δίνει μια συγκεκριμένη ερμηνεία της θεωρίας.