Uma Versao Mais Curta De Teoria Dos Modelos