Serény György: A modellelmélet alapfogalmai

"Lazán fogalmazva a modellelmélet az a mód, ahogy a logikával foglalkozó szakember vizsgálja az elegendően pontosan megadott tudományos diszciplínákat elsősorban természetesen a matematikán belül. (Csaknem) minden komolyan vehető tudományos diszciplína valamilyen modell és megállapításai erre a modellre vonatkozó ki jelentések.
A formális rendszerekben a közlések jelentését egy-egy adott modellbeli igazságuk adja meg. Matematikai tanulmányaink során eddig csak egy- egy konkrét diszciplínát (valós függvények analízise, számelmélet, csoportelmélet, lineáris algebra stb.) ismertünk meg. A modellelmélet alapjainak megismerésével ezeket is, mint tudományos rendszereket vizsgálhatjuk meg, megkísérelve azokra az alapvető közös kérdésekre válaszolni, melyek minden értelmes egzakt formális rendszerrel kapcsolatban felvetődnek, mint például az ellentmondás-mentesség, egy-egy adott probléma eldönthetősége, stb."