Axiom of Global Choice

[alex_dorin]

Axiom of Global Choice - как выглядит ?

[gris]

Это расширение (усиление?) аксиомы выбора на любые классы. Эквивалентных формулировок несколько, да ещё в зависимости от конкретной теории.
Впрочем, это я так. Типа, тоже знаком