AD+ itu apa sih?

Dalam teori himpunan, AD+ merupakan singkatan untuk aksioma kepastian, yang diusulkan oleh W. Hugh Woodin. Aksioma ini, dalam konteks teori himpunan ZF yang dilengkapi dengan DCR (aksioma pemilihan tergantung untuk bilangan real), menyatakan dua hal:

Setiap himpunan real adalah himpunan Borel-∞.

Untuk suatu ordinal  lebih kecil dari Θ, suatu himpunan bagian  dari , dan suatu fungsi kontinu , pracitra  dipastikan. (Disini  menjadi topologi darab yang diberikan, dimulai dengan topologi diskret pada .)

Klausa kedua oleh sendirinya dirujuk sebagai determinasi ordinal.