Return to Article Details Sobre la capturabilidad de teorías informales en sistemas axiomáticos formales Download Download PDF