Modell (Logik)
Modell [italienisch modello, zu lateinisch modulus »Maß«, »Maßstab«] das, -s/-e, Logik und Mathematik:
ein Bereich (meist eine Menge), dessen Mitglieder und deren Verknüpfungen eine durch Axiome beschriebene abstrakte Struktur besitzen. So bilden beispielsweise die Drehungen in der Ebene mit festem Drehzentrum ein Modell der Struktur »Gruppe«. Die Modelltheorie versucht mithilfe von Modellen die relative Widerspruchsfreiheit von Axiomensystemen sowie die Unabhängigkeit der
Informationen zum Artikel
Quellenangabe