• Una formalización del sistema de los números reales 

    Acevedo Acosta, Jorge Ohel; Echeverri Jurado, José Luis; Magíster en Matemáticas Aplicadas; jorgeacevedo28@hotmail.com; echeverrijurado@gmail.com (Universidad EAFIT; Maestría en Matemáticas Aplicadas; Escuela de Ciencias. Departamento de Ciencias Básicas, 2017)