A. Porto, “FORMALIZATION AND INFINITY”, Manuscrito - Rev. Int. Fil., vol. 31, nº 1, p. 25–43, dez. 2015.