Roffé, A. Sobre La Capturabilidad De teorías Informales En Sistemas axiomáticos Formales. cdf 1, 65-75.