axiomatization

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Клини, С.К. / Математическая логика

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

Клини, С.К.

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

Mathematical Logic

Kleene, Stephen Cole

© 1967 by Stephen Cole Kleene

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Айгнер, Мартин / Комбинаторная теория

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

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

© 1979 by Springer-Verlag New York Inc.

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

Combinatorial Theory

Aigner, Martin

© Springer-Verlag Berlin Heidelberg 1997

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Диаку, Флорин,Холмс, Филип / Небесные встречи. Истоки хаоса и устойчивости.

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

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

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

© Princeton University Press. 1996

Celestial encounters: the origins of chaos and stability

Diacu, Florin,Holmes, Philip

© 1996 by Florin Diacu and Philip Holmes