аксиоматический

В XVII и XVIII вв. греческий идеал аксиоматической кристаллизации и систематической дедукции потускнел и утерял свое влияние, хотя античная геометрия продолжала высоко расцениваться.

While Greek geometry retained an important place, the Greek ideal of axiomatic crystallization and systematic deduction disappeared in the seventeenth and eighteenth centuries.

Курант, Р.,Роббинс, Г. / Что такое математика? Элементарный очерк идей и методовCourant, Richard,Robbins, Herbert / What Is Mathematics? An Elementary Approach to Ideas and Methods

What Is Mathematics? An Elementary Approach to Ideas and Methods

Courant, Richard,Robbins, Herbert

© 1941 (renewed 1969) by Richard Courant

© 1996 by Oxford University Press, Inc.

Что такое математика? Элементарный очерк идей и методов

Курант, Р.,Роббинс, Г.

© МЦНМО, 2001

В этой главе мы рассматриваем классы Чжэня, классы ІІІтифеля — Уитни и класс Эйлера с аксиоматической точки зрения.

We consider Chern classes, Stiefel-Whitney classes, and the Euler class from an axiomatic point of view.

Хьюзмоллер, Д. / Расслоенные пространстваHusemoller, Dale / Fibre Bundles

Fibre Bundles

Husemoller, Dale

© 1966 by Dale Husemoller

© 1994 Springer-Verlag New York, Inc.

Расслоенные пространства

Хьюзмоллер, Д.

© Издательство «МИР», 1970

Имеется много работ, посвященных аксиоматическим построениям проективной геометрии.

Much has been written on the axiomatic foundations of projective geometry.

Ходж, В.,Пидо, Д. / Методы алгебраической геометрии. Том 1Hodge, W. V. D,Pedoe, D. / Methods of Algebraic Geometry Volume I

Methods of Algebraic Geometry Volume I

Hodge, W. V. D,Pedoe, D.

© Cambridge University Press

Методы алгебраической геометрии. Том 1

Ходж, В.,Пидо, Д.

Это исчисление можно рассматривать как синтез теории типов и аксиоматической теории множеств.

This may be regarded as a synthesis of the theory of types and axiomatic set theory.

Карри, Хаскелл Б. / Основания математической логикиCurry, Haskell B. / Foundations of Mathematical Logic

Foundations of Mathematical Logic

Curry, Haskell B.

© 1963 by Haskell B. Curry.

© 1977 by Haskell B. Curry.

Основания математической логики

Карри, Хаскелл Б.

© Издательство «Мир», 1969

Тот факт, что эти свойства составляют их аксиоматическое описание, следует из теоремы III, 5.1.

The fact that these properties constitute axiomatic descriptions, follows from in, 5.1.

Картан, А.,Эйленберг, С. / Гомологическая алгебраCartan, Henri,Eilenberg, Samuel / Homological Algebra

Homological Algebra

Cartan, Henri,Eilenberg, Samuel

Гомологическая алгебра

Картан, А.,Эйленберг, С.

Показать непосредственно, что аксиоматические высказывания НА являются теоремами LA.

Show directly that the axiomatic propositions of HA are assertible in LA.

Карри, Хаскелл Б. / Основания математической логикиCurry, Haskell B. / Foundations of Mathematical Logic

Foundations of Mathematical Logic

Curry, Haskell B.

© 1963 by Haskell B. Curry.

© 1977 by Haskell B. Curry.

Основания математической логики

Карри, Хаскелл Б.

© Издательство «Мир», 1969

Если X, Y, Z — обы, то следующие выражения являются аксиоматическими высказываниями:

If X, Y, Z are obs, the following are axiomatic statements:

Карри, Хаскелл Б. / Основания математической логикиCurry, Haskell B. / Foundations of Mathematical Logic

Foundations of Mathematical Logic

Curry, Haskell B.

© 1963 by Haskell B. Curry.

© 1977 by Haskell B. Curry.

Основания математической логики

Карри, Хаскелл Б.

© Издательство «Мир», 1969

Основным выводом является то, что если некоторая аксиоматическая система содержит теорию чисел в том же объеме, что и Р, то мы не можем доказать непротиворечивость этой аксиоматической системы из аксиом этой системы.

The general conclusion is that if an axiom system contains as much number theory as P, then we cannot prove the consistency of that axiom system from the axioms of that system.

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

Mathematical Logic

Shoenfield, Joseph

© 1967 by Addison-Wesley publishing company, inc.

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

Шенфилд, Дж.

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

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

Yet the concepts which are to be used in the axiomatic system should be universal names, which cannot be defined by empirical indications, pointing, etc.

Поппер, Карл / Логика и рост научного знанияPopper, Karl Raimund / The Logic of Scientific Discovery

The Logic of Scientific Discovery

Popper, Karl Raimund

© 1959, 1968, 1972, 1980 Karl Popper

© 1999, 2002 The Estate of Karl Popper

Логика и рост научного знания

Поппер, Карл

© Перевод на русский язык с сокращениями и вступительная статья. «Прогресс», 1983 г.

Аксиоматическая характеристика поля р-адических чисел

An Axiomatic Characterization of the Field of p-Adic Numbers

Боревич, З.И.,Шафаревич И. Р. / Теория чиселBorevich, Z.I.,Shafarevich, I.R. / Number Theory

Number Theory

Borevich, Z.I.,Shafarevich, I.R.

© 1966, by Academic Press Inc.

Теория чисел

Боревич, З.И.,Шафаревич И. Р.