Gödel’s constructible universe

mathematics

Learn about this topic in these articles:

In foundations of mathematics: Boolean local topoi
A better candidate may be Gödel’s constructible universe, whose original purpose was to serve as a model of Zermelo-Fraenkel set theory in which the continuum hypothesis holds. It is formed like the von Neumann universe, except that the notion of subset, implicit in the power-set operation, is replaced by that…
Read More