La consistencia del axioma de elección y la hipótesis generalizada del continuo

Abstract

[en] In this work we will prove that the axiom of choice (AC) and the generalized continuum hypothesis (GCH) are consistent with the axioms of Zermelo-Freankel if these are already consistent. For that we will define the concepts of model and relativized formula. With these tools we will be able to give a general proof of relative consistency. Once we have achieved that our purpose will be to find an adequate model so we can apply the general proof and obtain the relative consistency of AC and GCH. The model will be the constructible universe, which is what Gödel originally used to give the consistency proof.