аксиоматизация

Таким образом, множество, которое несчетно в одной аксиоматизации, может быть счетным в другой, и не существует абсолютного понятия счетности.

Thus a set which is uncountable in one axiomatization can be countable in another, and there is no absolute notion of countability.

Клини, С.К. / Математическая логикаKleene, Stephen Cole / Mathematical Logic

Mathematical Logic

Kleene, Stephen Cole

© 1967 by Stephen Cole Kleene

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

Клини, С.К.

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

Эта связь исторически была одной из отправных точек теории матроидов и может быть использована для аксиоматизации графических матроидов

This connection was historically one of the starting points of matroid theory and can be used for an axiomatization of graphic matroids.

Айгнер, Мартин / Комбинаторная теорияAigner, Martin / Combinatorial Theory

Combinatorial Theory

Aigner, Martin

© Springer-Verlag Berlin Heidelberg 1997

Комбинаторная теория

Айгнер, Мартин

© 1979 by Springer-Verlag New York Inc.

© Перевод на русский язык, «Мир», 1982

В математике же начала свое продолжительное царствование программа строгой аксиоматизации Давида Гильберта, изначально противоречащая интуитивному подходу Пуанкаре.

In mathematics, David Hilbert's program of rigorous axiomatization and development, quite counter to Poincare's intuitive approach, began its long domination of the field.

Диаку, Флорин,Холмс, Филип / Небесные встречи. Истоки хаоса и устойчивости.Diacu, Florin,Holmes, Philip / Celestial encounters: the origins of chaos and stability

Celestial encounters: the origins of chaos and stability

Diacu, Florin,Holmes, Philip

© 1996 by Florin Diacu and Philip Holmes

Небесные встречи. Истоки хаоса и устойчивости.

Диаку, Флорин,Холмс, Филип

© НИЦ «Регулярная и хаотическая динамика», перевод на русский язык, 2004

© Princeton University Press. 1996