AD+ itu apa sih? Jelaskan dalam bahasa melayu ya

Dalam teori set, AD+ merupakan sebuah kepanjangan, diusul oleh W. Hugh Woodin, untuk aksiom kepastian. Aksiom, yang mana dapat difahami dalam konteks ZF ditambah dengan DCR (aksiom pilihan bergantung untuk bilangan sebenar) menyatakan dua perkara:

Setiap himpunan sebenar ialah Borel-∞.

Untuk suatu ordinal  lebih kecil dari Θ, suatu himpunan bahagian  dari , dan suatu fungsi bersambung , praimej  dipastikan. (Disini  menjadi topologi darab yang diberikan, bermula dengan topologi diskret pada .)

Klausa kedua oleh sendirinya dirujuk sebagai penentuan ordinal.