Later in the 1930s, Gödel developed the notion of set-theoretic constructibility.
Αργότερα, στη δεκαετία του 1930, ο Γκέντελ ανέπτυξε την έννοια της συνολο-θεωρητικής κατασκευασιμότητας.