Gödel's constructible universe

GPTKB entity