ROFFÉ, A. Sobre la capturabilidad de teorías informales en sistemas axiomáticos formales. Cuadernos de filosofía, n. 62, p. 65-75, 11.