ТЕОРІЇ МНОЖИН - переклад на Англійською

• of set theory
• theory of sets

Приклади вживання Теорії множин Українська мовою та їх переклад на Англійською

У стандартній аксіоматичній теорії множин, відповідно до принципу екстенсивності,
In standard axiomatic set theory, by the principle of extensionality,

Наприклад, в одному з найбільш відомих парадоксів теорії множин(парадокс Б. Рассела)
For example, one of the most famous paradoxes in the theory of sets, Russell's paradox,

на відміну від заснованих на теорії множин, і тому слід бути уважним з правильним визначенням
are founded on set theory, and so one must be careful with the proper definition

аксіоми вибору від Цермело-Френкеля теорії множин, широко визнаної аксіоматизації теорії множин..
the continuum hypothesis and the axiom of choice from Zermelo- Fraenkel set theory, the most widely… more.

перекладом Фреге 1879 Begriffsschrift, яка супроводжується 45 історично важливими короткими частинами математичної логіки і аксіоматичної теорії множин, спочатку опублікованих в період між 1889 і 1931 рр.
which is followed by 45 historically important short pieces on mathematical logic and axiomatic set theory, originally published between 1889 and 1931.

характеризує подію, формулюються Бадью у термінах теорії множин, особливо теорії Зермело-Френкеля(з аксіомою вибору),
the rupture which characterizes the event are thought in terms of set theory, and specifically Zermelo-Fraenkel set theory(with the axiom of choice),

мовою теорії множин, з однією вільною змінною
in the language of set theory, with one free variable

аксіоми вибору від Цермело-Френкеля теорії множин, широко визнаної аксіоматизації теорії множин.
the axiom of choice from Zermelo- Fraenkel set theory, the most widely accepted axiomatization of set theory.

У теорії множин, Діагональний метод Кантора
In set theory, Cantor's diagonal argument,

Якщо сформульовано в теорії множин фон Неймана- Бернайса- Геделя, сюрреальні числа є найбільшим можливим впорядкованим полем; Всі інші упорядковані поля,
If formulated in Von Neumann- Bernays- Gödel set theory, the surreal numbers are a universal ordered field in the sense that all other ordered fields,

В теорії множин, Діагональний метод Кантора
In set theory, Cantor's diagonal argument,

Paul Halmos, Наївна теорія множин.
Paul Halmos, Naive set theory.

Mizar[en] є прикладом системи для доказів, яка використовує тільки теорію множин.
Mizar is an example of a proof system that only supports set theory.

включаючи теорію множин.
including set theory.

Аксіоматична теорія множин була початково розроблена, щоб позбутися таких парадоксів в теорії множин.[5].
Axiomatic set theory was originally devised to rid set theory of such paradoxes.[note 1].

Теорія множин лежить в основі більшості математичних дисциплін;
The set theory lies in basis of the most of the mathematical disciplines,

Наївна теорія множин це перша теорія множин, розроблена математиками наприкінці XIX століття.
Naïve set theory is the original set theory developed by mathematicians at the end of the 19th century.

Теорія множин Морса-Келлі(МК) допускає власні класи як основні об'єкти,
Morse- Kelley set theory admits proper classes as basic objects,

Теорія множин Морса-Келлі(МК) допускає власні класи
Morse-Kelley set theory admits proper classes as basic objects,

Теорія множин Нові Основи може бути скінченно аксіоматизована,
The set theory New Foundations can be finitely axiomatized,