Lógica Matemática utilizando Teorema de Tales