Lihat sumber bagi AD+

Dalam [[teori set]], '''AD+''' merupakan sebuah kepanjangan, diusul oleh [[W. Hugh Woodin]], untuk [[aksiom kepastian]]. Aksiom, yang mana dapat difahami dalam konteks [[Teori set Zermelo–Fraenkel|ZF]] ditambah dengan DC<sub>R</sub> ([[aksiom pilihan bergantung]] untuk [[bilangan sebenar]]) menyatakan dua perkara:

# Setiap [[set (matematik)|himpunan]] sebenar ialah [[Borel-∞]].
# Untuk suatu [[Bilangan ordinal|ordinal]] <math>\lambda</math> lebih kecil dari [[Θ (teori himpunan)|Θ]], suatu himpunan bahagian <math>A</math> dari <math>\omega^\omega</math>, dan suatu fungsi bersambung <math>\pi \colon \lambda^\omega \to \omega^\omega</math>, praimej <math>\pi^{-1}[A]</math> [[Kepastian|dipastikan]]. (Disini <math>\lambda^\omega</math> menjadi [[Topologi produk|topologi darab]] yang diberikan, bermula dengan [[topologi diskret]] pada <math>\lambda</math>.)

Klausa kedua oleh sendirinya dirujuk sebagai '''''penentuan ordinal'''''.

== Lihat juga ==
* [[Aksiom penentuan projektif]]
* [[Aksiom penentuan sebenar]]
* [[Masalah Suslin]]
* [[Permainan topologi]]

== Rujukan ==
* {{cite book|last1=Woodin|first1=W. Hugh|date=1999|title=The axiom of determinacy, forcing axioms, and the nonstationary ideal|location=Berlin|publisher=W. de Gruyter|isbn=311015708X|edition=1st|page=618|authorlink1=W. Hugh Woodin}}

[[Kategori:Aksiom teori set]]
[[Kategori:Penentuan]]