Комментарий:Эту аксиому, являющуюся одной из центральных в высшей алгебре, предложил
Цермело. Впоследствии была доказана ее независимость от системы аксиом
множеств Цермело-Френкеля, что, кстати, несколько напоминает
независимость аксиомы о параллельных прямых от остальных аксиом Евклида.