Porto, A. FORMALIZATION AND INFINITY. Manuscrito - Rev. Int. Fil. 2015, 31, 25-43.