„Modellelmélet” változatai közötti eltérés

A modellelmélet a [[matematikai logika]] egyik legfontosabb ága a [[bizonyításelmélet]] mellett. A tudományokat leíró formalizmusok felépítésével, a formalizmusban megfogalmazható igazságokkal, elméletekkel, az [[elsőrendű nyelv]]ekre írt modellekkel foglalkozik. A matematikában a modellelmélet az olyan classzikusklasszikus matematikai struktúrák tudománya, mint például a csoportok vagy a grafikonok. A struktúrát, amely értelmet ad az elsőrendű formalizmus mondatainak, a nyelv modelljének hívjuk. Ha a nyelv modellje megfelel egy mondat, vagy akár egy elmélet modelljének, akkor az a modell egyúttal lehet a mondat, vagy akár az elmélet modellje is.