It’s as if mathematicians would start with the axioms. Это как если бы математики начинали бы с аксиом.
The above properties depend on some axioms valid for groups. Описанные выше свойства зависят от некоторых аксиом для групп.
The axioms were first defined by Manuel Blum in 1967. Впервые эти аксиомы были сформулированы Мануэлем Блюмом в 1967 году.
Separation In general, quotient spaces are ill-behaved with respect to separation axioms. Отделимость В общем случае факторпространства плохо себя ведут относительно аксиом отделимости.
In 1902, he further showed that one of Hilbert's axioms for geometry was redundant. В 1902 году он доказал, что одна из аксиом Гильберта следует из остальных.
Then, by the axioms defining an ordered field, ω, ω2, and 1 are all positive. Тогда, по аксиомам, определяющим упорядоченное поле, ω, ω2 и 1 все положительны.
The practice of combining conflicting axioms indicated the failure or distortion of the language of description. Практика объединнения или конфликтные утверждения указывали на искажение языка описания.
The choice of axioms is not easy. Is it sufficient that axioms are not contradictory? Выбор аксиом нелёгок. Достаточно ли того, чтобы в системе аксиом не было противоречия?
The choice of axioms is not easy. Is it sufficient that axioms are not contradictory? Выбор аксиом нелёгок. Достаточно ли того, чтобы в системе аксиом не было противоречия?
An assignment of Halsted's led Moore to prove that one of Hilbert's axioms for geometry was redundant. Под руководством Халстеда Мур доказал, что одна из аксиом Гильберта является излишней.
Мобильная