Modelltheorie

• Term
• Interpretation von Termen
• Struktur
• Grundterm
• Signatur
• Relationale Signatur
• Algebraische Signatur