In that work he introduced the constructible universe, a model of set theory in which the only sets that exist are those that can be constructed from simpler sets.
Στην εργασία αυτή εισήγαγε το κατασκευάσιμο σύμπαν, ένα μοντέλο της θεωρίας συνόλων στο οποίο τα μόνα σύνολα που υπάρχουν είναι αυτά που μπορούν να κατασκευαστούν από απλούστερα σύνολα.