New axioms in set theory
In this article we review the present situation in the foundations of set theory, discussing two programs meant to overcome the undecidability results, such as the independence of the continuum hypothesis; these programs are centered, respectively, on forcing axioms and Woodin's V = Ultimate-L conjecture. While doing so, we briefly introduce the key notions of set theory.