Οικοδομήσιμο Σύμπαν
Στα μαθηματικά, και ειδικότερα στη θεωρία συνόλων, το οικοδομήσιμο σύμπαν (ή το οικοδομήσιμο σύμπαν του Γκέντελ), συμβολιζόμενο ως L, είναι μια συγκεκριμένη τάξη συνόλων που μπορεί να περιγραφεί εξολοκλήρου με όρους απλούστερων συνόλων. Προτάθηκε από τον Κουρτ Γκέντελ το 1938 στη μελέτη του "Η συνέπεια του αξιώματος επιλογής και της γενικευμένης υπόθεσης του συνεχούς".Gödel, 1938 Σε αυτή, απέδειξε ότι το οικοδομήσιμο σύμπαν είναι ένα εσωτερικό μοντέλο στη θεωρία συνόλων Ζερμένο-Φράνκελ, και επίσης ότι το αξίωμα επιλογής και η γενικευμένη υπόθεση του συνεχούς