Resultados Rigorosos em Teoria de Campos e Mecânica Estatística