Direkt zum Inhalt

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.

Lesermeinung

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.

  • Die Autoren
- Prof. Dr. Guido Walz

Partnervideos