Аксиому - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы
Мы используем аксиому Счетного выбора в этом доказательстве, чтобы выбрать для каждого n в N сюръекцию gn из непустой коллекции сюръекций от N до An. |
We use the axiom of countable choice in this proof to pick for each n in N a surjection gn from the non-empty collection of surjections from N to An. |
Некоторые аксиоматические теории множеств обеспечивают существование пустого множества, включая аксиому пустого множества;в других теориях его существование может быть выведено. |
Some axiomatic set theories ensure that the empty set exists by including an axiom of empty set; in other theories, its existence can be deduced. |
Луис Салливан популяризировал аксиому Форма следует за функцией, чтобы подчеркнуть важность утилитарной простоты в современной архитектуре. |
Louis Sullivan popularized the axiom Form follows function to emphasize the importance of utilitarian simplicity in modern architecture. |
Такая схема включает одну аксиому на предикат, определяемый в языке первого порядка арифметики Пеано, что делает ее слабее, чем аксиома второго порядка. |
Such a schema includes one axiom per predicate definable in the first-order language of Peano arithmetic, making it weaker than the second-order axiom. |
Первый результат открыл дверь для математиков, чтобы принять аксиому выбора в своих доказательствах. |
The former result opened the door for mathematicians to assume the axiom of choice in their proofs. |
Теорема Хана-Банаха не опирается на полную аксиому выбора, но может быть доказана с помощью более слабой версии AC, называемой леммой ультрафильтра. |
The Hahn–Banach theorem does not rely on the full axiom of choice but can be proved using a weaker version of AC called the ultrafilter lemma. |
Аксиоматизация арифметической индукции в логике первого порядка требует схемы аксиомы, содержащей отдельную аксиому для каждого возможного предиката. |
Axiomatizing arithmetic induction in first-order logic requires an axiom schema containing a separate axiom for each possible predicate. |
Э, чтоб нас утешить, господа доктринеры выдумали туманную аксиому: глупо, как факт. |
Pshaw! those gentlemen the doctrinaires have invented a nebulous aphorism for our consolation-Stupid as a fact. |
Также В 1917 году Дмитрий Мириманов предлагает аксиому регулярности. |
Also in 1917, Dimitry Mirimanoff proposes axiom of regularity. |
Имперское мировоззрение превращает известную аксиому Клаузевица в ее противоположность: политика - это продолжение войны с помощью иных средств. |
In the imperial worldview, Clausewitz's famous axiom is being reversed: politics is the continuation of war by other means. |
За оригинальной монографией быстро последовал французский перевод, в котором Гильберт добавил V.2, аксиому полноты. |
The original monograph was quickly followed by a French translation, in which Hilbert added V.2, the Completeness Axiom. |
Можно почти сказать, как аксиому, что чем больше тело недисциплинированных людей, тем меньше у него шансов на успех ... |
It may almost be stated, as an axiom, that the larger the body of undisciplined men is, the less is its chance of success; ... |
Существует функтор из категории CRing to Ring, который забывает аксиому коммутативности, но сохраняет все операции. |
There is a functor from the category CRing to Ring that forgets the axiom of commutativity, but keeps all the operations. |
Заметьте, что мы не использовали ни локальность, ни аксиому склеивания при определении морфизма Пучков. |
Notice that we used neither the locality nor the gluing axiom in defining a morphism of sheaves. |
Этот результат имел значительные последствия для работающих математиков, поскольку это означает, что они могут принять аксиому выбора при доказательстве теоремы Гана-Банаха. |
This result has had considerable consequences for working mathematicians, as it means they can assume the axiom of choice when proving the Hahn–Banach theorem. |
В этом случае нет очевидного кандидата на новую аксиому, которая бы разрешила проблему. |
In this case, there is no obvious candidate for a new axiom that resolves the issue. |
За аксиому принималось то, что Швеция только выиграет, если будет предоставлять убежище нуждающимся. |
It was a given that Sweden had benefited from its commitment to providing shelter to those in need. |
Принимая аксиому выбора, заданную множеством бесконечного действительного числа элементов, обязательно ли функция выбора является неопределимой? |
Assuming the axiom of choice, given a set of an infinite real number of elements, is it necessarily the case that the choice function is undefinable? |
Эта теорема представляет собой аксиому выбора во многих отношениях, потому что в соответствии с ней мы можем выбрать один из двух вариантов! |
The theorem is representing the axiom of CHOICE in many ways, because according to it, we can choose one of two options! |
В 1904 году Эрнст Цермело пропагандирует аксиому выбора и свое доказательство теоремы о правильном порядке. |
In 1904, Ernst Zermelo promotes axiom of choice and his proof of the well-ordering theorem. |
Формула для площади прямоугольника вытекает непосредственно из основных свойств площади и иногда принимается за определение или аксиому. |
The formula for the area of a rectangle follows directly from the basic properties of area, and is sometimes taken as a definition or axiom. |
Я привел аргументы Галлета о том, что доктрина ограничения размера не оправдывает аксиому набора мощности. |
I have given Hallett's arguments that the limitation of size doctrine does not justify the power set axiom. |
