аксиома выбора

Аксиома выбора и обобщенная гипотеза континуума являются теоремами теории ZFL.

The axiom of choice and the generalized continuum hypothesis are theorems of ZFL.

Шенфилд, Дж. / Математическая логикаShoenfield, Joseph / Mathematical Logic

Mathematical Logic

Shoenfield, Joseph

© 1967 by Addison-Wesley publishing company, inc.

Математическая логика

Шенфилд, Дж.

© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.

Построение этого примера существенно использует аксиому выбора.

The construction uses heavily the axiom of choice.

Йех, Т. / Теория множеств и метод форсингаJech, Thomas J. / Lectures in Set Theory: with Particular Emphasis on the Method of Forcing

Lectures in Set Theory: with Particular Emphasis on the Method of Forcing

Jech, Thomas J.

© by Springer-Verlag Berlin - Heidelberg 1971

Теория множеств и метод форсинга

Йех, Т.

© Перевод на русский язык, "Мир", 1973

Доказательство аксиомы выбора в теории ZFL совершенно простое.

The proof of the axiom of choice in ZFL is quite easy.

Шенфилд, Дж. / Математическая логикаShoenfield, Joseph / Mathematical Logic

Mathematical Logic

Shoenfield, Joseph

© 1967 by Addison-Wesley publishing company, inc.

Математическая логика

Шенфилд, Дж.

© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.