podzbiór liczb rzeczywistych zawiera podzbiór doskonały. Jeśli istnieje nieskończenie wiele liczb Woodina z liczbą mierzalną powyżej ich, to
PD jest prawdziwe. Teoria „ZF+AD” jest niesprzeczna wtedy i tylko wtedy, gdy niesprzeczna jest teoria „ZFC+ istnieje nieskończenie wiele liczb Woodina”.
Zobacz też opisowa teoria mnogości
Przypisy
Determinancji Kategoria:Polskie odkrycia matematyczne