Gödel's constructible universe

From Free net encyclopedia