конструктивность

Ввиду этого, по-видимому, остается мало надежд доказать гипотезу континуума или аксиому конструктивности, не изменяя нашего понятия множества.

In view of this, there seems to be little hope of proving the continuum hypothesis or the axiom of constructibility without changing our notion of a set.

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

Mathematical Logic

Shoenfield, Joseph

© 1967 by Addison-Wesley publishing company, inc.

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

Шенфилд, Дж.

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

(Конечно, аксиома конструктивности нужна для выполнения определяющей аксиомы для Od.)

(Of course the axiom of constructibility is needed to justify this defining axiom for Od.)

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

Mathematical Logic

Shoenfield, Joseph

© 1967 by Addison-Wesley publishing company, inc.

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

Шенфилд, Дж.

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

Формула VxL (х), которая утверждает, что каждое множество конструктивно, называется аксиомой конструктивности.

The formula VxL(x), which asserts that every set is constructible, is called the axiom of constructibility.

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

Mathematical Logic

Shoenfield, Joseph

© 1967 by Addison-Wesley publishing company, inc.

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

Шенфилд, Дж.

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

Аксиома конструктивности

The axiom of constructibility

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

Mathematical Logic

Shoenfield, Joseph

© 1967 by Addison-Wesley publishing company, inc.

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

Шенфилд, Дж.

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