Email Record: Fundamentos matemáticos de la lógica formal /