Vega, H. and Silva, D. 2020. THE TEACHING AND LEARNING OF FORMAL SYSTEMS, OF MATHEMATICS IN THE UNIVERSITY CONTEXT. DIALOGICA. 17, 2 (Dec. 2020), 20–46. DOI:https://doi.org/10.56219/dialgica.v17i2.1521.