Аксиома
Аксио́ма (Ancient Greek: ἀξίωμα «утверждение, положение») или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами[1].
Аксиома детерминированности
В классических разделах математики (теория чисел, математический анализ и др.) замена AC на AD ничего не меняет, но в теории множеств и топологии следствия из аксиомы детерминированности во многом существенно отличаются от следствий аксиомы выбора. Например, из AD следует, что все множества вещественных чисел измеримы, проблема континуума решается однозначно (промежуточных мощностей не существует), парадокс удвоения шара не возникает.