Ansetzungsform: | Modelltheorie |
---|---|
SWD: | 4114617-7 |
GND: | 4114617-7 |
PPN (SWB): | 105820873 |
Quelle: | M |
Definition: | aIn der mathematischen Logik: Modell eines Axiomensystems (eine mit gewissen Strukturen versehene Menge, auf die die Axiome des Systems zutreffen) |
Benutzungshinweis: | Nicht verwenden für die Theorie mathematischer Modelle (Abbildungen der Wirklichkeit in Mathematik) |
SWD-Systematiknummer: | 28 |
Notation DDC: | 511.34 |
Alternativformen: | Model-theory Teoria dos modelos Teoria dei modelli Théorie des modèles Teoría de los modelos Model theory Théorie des modèles Teoria dei modelli Modelos, Teoría de |
Übergeordnete Bezeichnung: | Metamathematik |
Verwandter Begriff: | Metamathematik |