A Set Theory Formalization

2017-06-132017http://hdl.handle.net/10784/11464spaA Set Theory FormalizationworkingPaperinfo:eu-repo/semantics/openAccessTEORÍA DE CONJUNTOSAXIOMASMATEMÁTICASAXIOMA DE ELECCIÓNLÓGICA SIMBÓLICA Y MATEMÁTICASet theoryAxiomsMathematicsAxiom of choiceLogic, symbolic and mathematicalAcceso abierto2017-06-13Calle-Saldarriaga, Alejandro