Many important properties in model theory can be expressed with types.
Πολλές σημαντικές ιδιότητες της θεωρίας τύπων μπορούν να εκφραστούν με τους τύπους.