Lexikon der Mathematik: Bethscher Definierbarkeitssatz
folgende Aussage aus der mathematischen Logik:
Sei Σ eine Menge von Ausdrücken, formuliert in einer Sprache L.
Dann gilt: Ist ein Relations- oder Funktionszeichen aus L in Σ implizit definierbar (Definier- barkeit), dann ist es in Σ auch explizit definierbar.
Copyright Springer Verlag GmbH Deutschland 2017
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.