„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 [[Matematika|matematikában]] a modellelmélet az olyan klasszikus matematikai struktúrák tudománya, mint például a csoportok[[csoport]]ok vagy a [[Gráf|gráfok]]. 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.