モデル理論は1990年代に急速に発展し、より現代的な定義は(1997)によって与えられた: