Beths Definierbarkeitseigenschaft

Die Eigenschaft, dass jedes nicht-logische Symbol (Relation, Funktion oder Konstante), das von einer Theorie implizit definierbar ist — das heißt: egal welche zwei Modelle der Theorie, die in der Basissprache übereinstimmen, stimmen auch in der Interpretation dieses Symbols überein — durch eine explizite Formel in der Ausgangssprache definiert werden kann (es existiert eine explizite Definitionsfo