Axiom of determinacy

Aksjomat determinacji, AD (od ang. axiom of determinacy) – aksjomat teorii mnogości postulujący zdeterminowanie pewnych gier nieskończonych. Implikuje on, że aksjomat wyboru jest fałszywy, a zatem unieważnia paradoksy wynikające z tego ostatniego. Niesprzeczność AD jest równoważna z niesprzecznością istnienia pewnych dużych liczb kardynalnych. W literaturze matematycznej istnieje cała rodzina aksjomatów determinacji, do najpopularniejszych należy jednak AD niezależny od aksjomatów Zermela-Fraenkla.

Axiom of determinacy

Aksjomat determinacji, AD (od ang. axiom of determinacy) – aksjomat teorii mnogości postulujący zdeterminowanie pewnych gier nieskończonych. Implikuje on, że aksjomat wyboru jest fałszywy, a zatem unieważnia paradoksy wynikające z tego ostatniego. Niesprzeczność AD jest równoważna z niesprzecznością istnienia pewnych dużych liczb kardynalnych. W literaturze matematycznej istnieje cała rodzina aksjomatów determinacji, do najpopularniejszych należy jednak AD niezależny od aksjomatów Zermela-Fraenkla.