Vega, H.; Silva, D. THE TEACHING AND LEARNING OF FORMAL SYSTEMS, OF MATHEMATICS IN THE UNIVERSITY CONTEXT. DIALÓGICA 2020, 17, 20-46.