constructible universe (L)

GPTKB entity