AD+

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.

 Lihat juga 
 Aksiom penentuan projektif
 Aksiom penentuan sebenar
 Masalah Suslin
 Permainan topologi

 Rujukan 


Kategori:Aksiom teori set
Kategori:Penentuan