Tolong jelaskan mengenai Contoh dari Teori model dalam

Kelas semua himpunan adalah model dalam berisi semua model dalam lainnya.

Contoh taktrivial pertama mengenai sebuah model dalam adalah semesta terkonstruksi  dikembangkan oleh Kurt Gödel. Setiap model  dari teori himpunan Zermelo–Fraenkel memiliki sebuah model dalam  memenuhi aksioma keterbangunan, dan ini akan menjadi model dalam terkecil dari  berisi semua ordinal dari . Terlepas dari sifat-sifat model asalnya,  akan memenuhi hipotesis kontinm rampat dan aksioma kombinatorial seperti prinsip wajik .

HOD, kelas himpunan merupakan terdefinisi ordinal turun temurun, membentuk sebuah model dalam, digunakan dalam teorema Solovay.

, model dalam terkecil berisi semua bilangan real dan semua ordinal.

, kelas dibangun relatif terhadap sebuah ultratapis  normal, takprinsip, sempurna- atas sebuah ordinal  (lihat belati nol).