A. Roffé, «Sobre la capturabilidad de teorías informales en sistemas axiomáticos formales», cdf, n.º 62, pp. 65-75, 1.