pˌɔdvalˈinɨ tɛˈɔrji mɔdˈɛli i tɨm sˈamɨm nˈɔvɛ ujˈɛɲtɕɛ lˈɔɡʲikˌi mˌatɛmatˈɨtʃnɛj pˌɔwɔʒˈɨli w lˈatax tʃɨdʑˈɛɕcʲi. ˌiksˈiɡz vʲˈɛku ˈalfrɛt tˈarski i kˈurd ɡˈɛdɛl.
Podwaliny teorii modeli i tym samym nowe ujęcie logiki matematycznej położyli w latach 30. XX wieku Alfred Tarski i Kurt Gödel.