AD+

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, menyatakan dua hal: Setiap himpunan real adalah himpunan Borel-∞.
Untuk suatu ordinal λ lebih kecil dari Θ, suatu himpunan bagian A dari ω ω , dan suatu fungsi kontinu π : λ ω → ω ω , pracitra π − 1 [ A ] dipastikan. Klausa kedua oleh sendirinya dirujuk sebagai determinasi ordinal.