Trata-se de uma pesquisa que visa explanar a respeito dos Teoremas do Isomorfismo: De que modo eles são apresentados no âmbito da Álgebra Universal, partindo da construção de termos e fórmulas (frases), com a base da lógica matemática, passando pela construção e entendimento de estruturas e modelos, até a apresentação dos teoremas, de fato. Junto disso, se faz uma relação entre a forma com que os teoremas são apresentados e as teorias estudadas durante uma graduação em Matemática.