Sobre la capturabilidad de teorías informales en sistemas axiomáticos formales - Ariel Roffé (Cuadernos de filosofía, 1970)