В бет: друга літера івриту та послідовність кардинальних чисел
В бет — це давнє слово, яке поєднує дві різні речі: літеру ב, другу в гебрайській абетці з гематрією 2, і послідовність кардинальних чисел ℶ₀, ℶ₁, ℶ₂…, яку Георг Кантор увів наприкінці XIX століття для опису потужностей булеанів. Коротке словосполучення ховає за собою три тисячі років писемної традиції, від біблійного «בְּרֵאשִׁית» до сучасних підручників з теорії множин. Нижче — конкретне пояснення обох значень, без математичного туману і без перебільшень.
Що саме називають «в бет»
В українських текстах з математики та єврейської традиції «в бет» зазвичай означає або саму літеру івриту ב, або символ ℶ, що позначає числа Бет. У цій статті йдеться про обидва значення одразу, бо вони пов’язані історично: Кантор свідомо обрав для своїх трансфінітних чисел літери івриту, починаючи з алеф і бет. Гематрія 2 — числове значення літери в традиційній єврейській нумерології — пояснює, чому саме бет стала назвою для послідовності, що починається з булеана ℵ₀.
Збіг між літерою ב та символом ℶ₁ = 2^ℵ₀ — формальний, а не історичний: Кантор закріпив назву «бет» за послідовністю, яка рухається через степені двійки, бо ℶ₀ = ℵ₀, а ℶ₁ визначається як 2 в степені ℵ₀. У єврейському календарі літерна нумерація використовується для років: наприклад, תשפ״ו (2025–2026) — це комбінація з гематричних значень, де ב теж дає двійку. Саме тому ℵ₀ (алеф-нуль) і ℶ₀ (бет-нуль) за визначенням збігаються: обидва позначають потужність зліченної нескінченної множини.
Літера бет у писемності, Біблії та каббалі
Літера ב (бет) — друга з 22 літер івриту, перша приголосна абетки і перша, яка з’являється на початку Біблії у слові «בְּרֵאשִׁית» (берешит, «на початку»). У друкованому івриті вона виглядає як прямокутник із відкритою лівою стороною, а в рукописному письмі (כתב יד) нагадує курсивну цифру 2. Звук [b] у сучасному івриті в біблійному варіанті читався з сильним придихом (бетада), близько до грецької β.
У єврейській містичній традиції (каббалі) кожна літера несе символічне навантаження. Бет уособлює двійку і подвійність, а також дім: єврейське «бейт» (בית) означає «дім». Звідси — традиція тлумачити перший вірш Буття як мову про початок через подвійність: небо і земля, світло і темрява. Це метафора, а не математичне твердження, але вона показує, чому саме ב, а не якась інша літера, стала позначенням для степенів двійки.
Для мовознавця бет цікава тим, що її фонетичний розвиток у давньоєврейській, арамейській, арабській та грецькій мовах показує спорідненість семітичних мов. Арабська ب (ба), арамейська ܒ (beth), фінікійська бет, грецька бета (β), латинська B і кирилична В — це послідовність нащадків тієї самої літери. Українська «В» — далекий нащадок давньої ב, і це пояснює, чому в українських текстах «в бет» іноді замінюють просто на «В» без пояснення.
Числа Бет: рекурсивне означення і базові приклади
Числа Бет — це послідовність кардинальних чисел, яку ввів Георг Кантор для опису потужностей булеанів. Означення рекурсивне: ℶ₀ = ℵ₀, далі ℶ_(α+1) = 2^ℶ_α, тобто кожне наступне число Бет — це потужність множини всіх підмножин попереднього. Для граничних ординалів ℶ_λ = sup{ℶ_α : α < λ}. Ця конструкція дає зростаючу послідовність потужностей, яка починається з найменшої нескінченної і рухається вгору через булеани.
Розгляньмо конкретні множини, що мають потужність ℶ₀ (бет-нуль). Це зліченні множини, для яких існує бієкція з натуральними числами N = {0, 1, 2, 3, …}:
- натуральні числа N;
- цілі числа Z (через бієкцію 0↔0, 1↔1, -1↔2, 2↔3, -2↔4 і так далі);
- раціональні числа Q (через канторівську конструкцію з дробами);
- алгебраїчні числа — корені многочленів з раціональними коефіцієнтами;
- множина всіх скінченних підмножин цілих чисел.
Множини з потужністю ℶ₁ (бет-один) — це вже континуум, потужність дійсних чисел. До них належать дійсні числа R, комплексні числа C, ірраціональні числа, трансцендентні числа, множина всіх підмножин натуральних чисел, множина послідовностей цілих чисел (Z^N), множина послідовностей дійсних чисел (R^N), множина неперервних функцій з R у R, множина скінченних підмножин дійсних чисел. Кантор довів, що R має потужність строго більшу за N, і саме це число ℶ₁, яке позначають також готичною «c» від латинського continuum.
Потужність ℶ₂ — це булеан континууму, тобто множина всіх підмножин дійсних чисел. До неї належить, наприклад, множина всіх функцій з R у R (позначається R^R), а також множина всіх функцій з R^m у R^n. За теоремою Кантора кожне наступне число в цій послідовності строго більше за попереднє, тому ℶ₀ < ℶ₁ < ℶ₂ < ℶ₃ < ... — нескінченна зростаюча драбина потужностей. Нижче наведено порівняльну таблицю для тих, хто стикається з цим поняттям уперше.
| Поняття | Алеф (ℵ) | Бет (ℶ) |
|---|---|---|
| Походження назви | Перша літера івриту, алеф (א) | Друга літера івриту, бет (ב) |
| Базова потужність | ℵ₀ = потужність N | ℶ₀ = ℵ₀ (збігаються) |
| Наступний крок | ℵ₁ = найменша незліченна потужність | ℶ₁ = 2^ℵ₀ = потужність R |
| Рекурсивне означення | ℵ_(α+1) = найменша потужність > ℵ_α | ℶ_(α+1) = 2^ℶ_α за визначенням |
| Зв’язок | ℵ_α ≤ ℶ_α завжди (за ZFC) | ℶ_α ≥ ℶ_α у ZFC+CH: ℵ_α = ℶ_α |
Така сама логіка працює і для наступних рівнів: ℶ_α завжди не менший за ℵ_α за умови аксіоми вибору, і ℶ_(α+1) = 2^ℶ_α дає чіткий спосіб рухатися вгору через булеани. Континуум-гіпотеза стверджує рівність ℵ₁ = ℶ₁, тобто відсутність проміжної потужності між зліченним і континуумом.
Зв’язок між алеф і бет: континуум-гіпотеза
Послідовності ℵ і ℶ пов’язані, але не тотожні. ℵ_α — це «алфа» потужностей, які отримують із зліченної множини через операції об’єднання і піднесення до степеня, а ℶ_α — це «бета» потужностей, які починаються з ℵ₀ і далі рухаються через булеани. З визначення ℶ_(α+1) = 2^ℶ_α випливає, що ℶ_α завжди не менший за ℵ_α (тобто ℶ_α ≥ ℵ_α) за умови аксіоми вибору, яка лінійно впорядковує всі нескінченні потужності.
Континуум-гіпотеза, сформульована Кантором у 1878 році, стверджує, що ℶ₁ = ℵ₁. Іншими словами, між потужністю натуральних чисел і потужністю дійсних чисел немає проміжної. У 1940 році Курт Гедель довів, що континуум-гіпотеза не суперечить аксіомам ZFC (теорії множин Цермело-Френкеля з аксіомою вибору). У 1963 році Пол Коен довів, що її заперечення також не суперечить ZFC. Тобто CH є незалежною від стандартних аксіом теорії множин: можна побудувати модель ZFC, де вона істинна, і модель, де вона хибна.
Для практики це означає таке. Якщо ви працюєте з аналізом на R, вам майже завжди байдуже, чи існує проміжна потужність між ℵ₀ і c, бо класичні теореми (теорема Больцано-Вейєрштрасса, теорема Банаха-Штайнгауза, міра Лебега) працюють і без континуум-гіпотези. Але якщо ви будуєте нову аксіоматику або займаєтесь форсінгом, відповідь на питання «в бет якого порядку дорівнює континуум?» залежить від того, яку модель ви обрали.
Як читати символ ℶ і не плутати його з ℵ
На папері і на екрані ℵ і ℶ виглядають схоже, але це різні знаки. Алеф — це літера א, стилізована під математичний символ із двома верхніми та двома нижніми рисками, що сходяться вліво. Бет — це літера ב, стилізована як пряма вертикальна риска з двома короткими рисками, що відходять вправо, одна зверху, інша знизу. У LaTeX пишуть `\aleph` і `\beth` відповідно, у Unicode — це символи U+2135 та U+2136.
Якщо ви читаєте підручник і бачите ℵ_α — це число Алеф, а ℶ_α — це число Бет. Плутанина трапляється найчастіше там, де йдеться про ℶ₀ і ℵ₀, бо вони рівні. Далі за індексом вони розходяться: ℵ₁ може бути рівним ℶ₁ (за континуум-гіпотези) або строго меншим (якщо CH хибна). А от ℶ₂ завжди строго більше за ℵ₁, бо ℶ₂ = 2^ℶ₁ ≥ 2^ℵ₁ > ℵ₁ за теоремою Кантора.
Запам’ятати допомагає проста асоціація: «Алеф — це перший (початок), Бет — це другий (подвійність)». Відповідно ℵ нумерує всі потужності, а ℶ — це «булеанизована» послідовність. Ще один спосіб: уявіть ℵ як стрічку вліво, а ℶ — як квадрат із відкритою лівою стороною, як у друкованому івриті.
Числа Бет у математичній практиці
У повсякденній математичній практиці ℶ-числа трапляються рідше, ніж ℵ-числа. Причина проста: ℵ-числа — це «каркас» усієї ієрархії потужностей, тоді як ℶ-числа — конкретна послідовність, яка починається з булеана. Але в теорії множин, детальній топології та дескриптивній теорії множин без ℶ не обійтись.
Стислий огляд того, де саме використовують числа Бет у сучасних дослідженнях:
- Теорія мір і інтегралів: при вивченні інваріантних мір на групах і ймовірнісних просторів ℶ₁ виступає як стандартна потужність простору елементарних подій.
- Дескриптивна теорія множин: борелівські і аналітичні множини класифікуються за складністю описань, і ℶ₂ з’являється природно як потужність певних σ-алгебр.
- Форсінг і внутрішні моделі теорії множин: при побудові моделей із додаванням узагальнених гіпотез континууму ℶ-числа виступають як калібрувальні точки.
- Теорія множин із великими кардиналами: тут ℶ виступає як еталон для порівняння «малих» і «великих» потужностей.
Для тих, хто працює з нескінченними комбінаторними об’єктами (ультрафільтри, ідеали, алгебри), числа Бет — це зручний спосіб записати «потужність булеана рівня α». Запис ℶ_(ω+1) одразу говорить фахівцеві, що йдеться про 2 в степені ℵ_ω, тобто про дуже велику потужність, яка все ще «маленька» в ієрархії великих кардиналів.
Коротка історія від Кантора до Коена
Ідея порівняння нескінченних множин належить Георгу Кантору, який у 1874 році опублікував статтю «Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen» у журналі Crelle’s Journal. У цій статті він довів, що R має потужність строго більшу за N. Це був перший крок до розрізнення зліченного і континууму.
Символ ℵ Кантор запозичив з івриту наприкінці 1890-х років. Сам Кантор писав, що обрав літери алеф і бет через їхнє символічне значення: «початок» і «подвійність». Остаточну форму символи набули в роботі «Beiträge zur Begründung der transfiniten Mengenlehre» (1895, 1897), де він увів і послідовність ℶ для булеанів. До того моменту в літературі траплялися записи на кшталт «ℭ» (від continuum) або просто «2^ℵ₀» без назви. Більше про літературну й математичну історію символу можна дізнатись із статті про бет як літеру та математичне поняття, що дає корисний контекст для цього твердження.
Суперечки довкола континуум-гіпотези тривали від 1900 року, коли Давид Гільберт включив її першою у список відкритих проблем математики, до 1963 року, коли Пол Коен довів її незалежність від ZFC. Це була одна з перших великих незалежних теорем сучасної математики, і вона змінила уявлення про те, що таке «доведено» і «не доведено» в аксіоматичних теоріях.
Суперечка Гільберта і Брауера: чому бет став філософським символом
На початку XX століття інтуїціоніст Лейтзен Брауер заперечував легітимність трансфінітних чисел Кантора, зокрема ℶ_α для α ≥ 1, вважаючи, що математика має ґрунтуватися лише на конструктивних побудовах. Давид Гільберт, навпаки, обстоював канторівську теорію і вважав, що числа Бет — необхідний інструмент для аналізу. Ця суперечка, відома як «Grundlagenstreit» (суперечка про підвалини), тривала з 1920-х до 1960-х років і вплинула на конструктивну математику, топосну теорію та сучасну логіку.
Для практикуючого математика ця суперечка сьогодні менш актуальна, ніж століття тому, бо більшість робочих теорем не залежить від того, чи приймаємо ми повну ZFC, чи лише її конструктивне підмножина. Але в тих галузях, де вибір аксіом має значення (наприклад, у теорії мір на дуже великих просторах), розрізнення між алеф і бет залишається принциповим.
Якщо ви пишете курсову з математичної логіки і вам трапилося питання «чи існує множина потужності між ℵ₀ і ℶ₁?» — відповідь залежить від того, яку аксіоматику ви приймаєте. У ZFC відповідь «не знаємо, і не дізнаємось без додаткових аксіом». У ZFC + CH відповідь «ні». У ZFC + ¬CH відповідь «так, і можна навіть побудувати приклад форсінгом Коена».
Як працювати з поняттям «в бет» на практиці
Нижче — простий план із семи кроків для тих, хто хоче розібратися в темі. Кожен крок розраховано на 30-60 хвилин роботи. Якщо ви студент, аналітик або допитливий читач, цього достатньо, щоб перейти від побіжного знайомства до базового розуміння.
Крок 1. Повторіть означення зліченної множини
Візьміть підручник з дискретної математики або теорії множин (для початку вистачить перших 30 сторінок «Начал теорії множин» Бурбакі або підручника Синявського). Переконайтесь, що ви розумієте, що таке бієкція, ін’єкція та сюр’єкція. Без цього числа Бет залишаться абстракцією.
Крок 2. Розберіть канторівський діагональний аргумент
Це ключова теорема, яка доводить, що |R| > |N|. Запишіть її доведення від руки, крок за кроком, доки не зможете відтворити з пам’яті. Це займе 30-40 хвилин, але це фундамент для розуміння того, чому ℶ₁ ≠ ℵ₀.
Крок 3. Пройдіть означення чисел Бет
Запишіть рекурсивне означення ℶ_α, починаючи з ℶ₀ = ℵ₀. Зобразіть перші п’ять чисел ℶ₀, ℶ₁, ℶ₂, ℶ₃, ℶ₄ як точки на числовій прямій, яка йде «в нескінченність праворуч». Це допоможе закріпити інтуїцію: кожне наступне число Бет — це булеан попереднього.
Крок 4. Сформулюйте континуум-гіпотезу своїми словами
Спробуйте записати відповідь на питання: «Чи може існувати множина, яка строго більша за N і строго менша за R за потужністю?». Якщо ви можете сформулювати це без підказки, ви готові до наступного кроку.
Крок 5. Прочитайте про аксіому вибору
Без аксіоми вибору не існує «канонічного» способу лінійно впорядкувати всі потужності. Більшість класичних теорем теорії множин (зокрема, рівність ℶ_α ≥ ℵ_α) залежить від неї. Перегляньте формулювання: «Для будь-якої сукупності непорожніх множин існує функція вибору, яка з кожної множини бере один елемент».
Крок 6. Пройдіть доведення Геделя (незалежність CH у бік істинності)
Гедель показав, що якщо ZFC несуперечлива, то ZFC + CH також несуперечлива. Це складне доведення, але в оглядовому викладі воно займає 4-5 сторінок. Знайдіть огляд у підручнику з математичної логіки і розберіть конструкцію внутрішньої моделі L конструктивних множин.
Крок 7. Пройдіть форсінг Коена (незалежність CH у бік хибності)
Це найскладніший крок, і для першого знайомства достатньо зрозуміти ідею: Коен побудував метод «примусового» додавання нових множин до моделі ZFC, у яких континуум більший за ℵ₁. Сам метод називається форсінг (forcing), і він став одним із найпотужніших інструментів сучасної логіки.
Після цих семи кроків ви зможете впевнено пояснити різницю між алеф і бет, сформулювати континуум-гіпотезу та описати, чому вона незалежна від ZFC. Це рівень бакалавра математики або третього курсу технічного вишу.
Глобальний контекст: де викладають теорію множин
Теорія множин із аксіоматикою ZFC викладається в більшості європейських та американських університетів на старших курсах бакалаврату та в магістратурі. У Німеччині, Австрії та Швейцарії це обов’язковий курс для математиків і логіків. У США — частина стандартної програми з математики в університетах із сильною логічною школою (Берклі, Прінстон, Корнелл, Чиказький університет). В Україні базові поняття теорії множин дають на першому курсі технічних вишів, а глибше вивчення ℵ і ℶ зазвичай відбувається на четвертому-п’ятому курсі мехмату.
Міжнародного стандарту викладання теорії множин як єдиного документа немає, але є опорні підручники: «Set Theory» Томаса Йеха, «Introduction to Set Theory» Карена Кунена, «A Course in Set Theory» Уілліса, «Set Theory: An Introduction to Independence Proofs» Кунена. Усі чотири визнають числа Бет як стандартний інструмент і обов’язково розглядають континуум-гіпотезу. Українською виходив переклад «Вступ до теорії множин» Синявського та двотомник Бурбакі, але вони радше для тих, хто вже має базу.
Українські університети поступово інтегрують сучасну аксіоматику в курси аналізу та дискретної математики. У КНУ імені Тараса Шевченка, ЛНУ імені Івана Франка та НТУУ «Київський політехнічний інститут» є окремі курси з математичної логіки і теорії множин, де числа Бет розглядаються як самостійний об’єкт. Це відповідає європейському рівню, хоча підручників українською досі бракує.
Спірні питання і типові помилки
Найпоширеніша помилка — плутанина між алеф і бет у ситуаціях, де вони формально рівні, але концептуально різні. Наприклад, ℶ₀ = ℵ₀, але кажучи «множина натуральних чисел має потужність ℵ₀», ви підкреслюєте зліченність, а кажучи «має потужність ℶ₀» — те, що це перший елемент послідовності, яка рухається через булеани. Для практики це різниця, але для іспиту вона часто грає роль.
Друга помилка — вважати, що континуум-гіпотеза «має бути» істинною або хибною. Це класичне упередження, яке йде від Гільберта. Коен у 1963 році остаточно показав, що питання «чи існує множина потужності між ℵ₀ і ℶ₁» не має відповіді в межах стандартної аксіоматики. Тому сучасний математик каже «це незалежне від ZFC», а не «це правда» чи «це неправда».
Третя помилка — ототожнення потужності і розміру. Для нескінченних множин потужність — це не розмір у звичному сенсі, а тип бієкції. R не «більший» за N у жодному фізичному сенсі; він просто не може бути поставлений у бієкцію з N. Здоровий глузд тут зрадливий, бо каже «R більший, бо там більше точок», але математичне поняття потужності вимагає строгості.
Застосування за межами чистої математики
Попри абстрактність, числа Бет з’являються у фізиці, інформатиці та філософії. У теоретичній інформатиці алгоритмічна складність множин визначається через ступені нерозв’язності, і ℶ₁ виступає як міра складності для борелівських множин. У філософії математики дебати 1920-30-х років довкола конструктивізму та формалізму багато в чому точилися саме навколо легітимності чисел Бет.
У квантовій фізиці простір гільбертових станів для скінченновимірної системи має розмірність c = ℶ₁, тобто потужність континууму. Це не випадковий збіг: неперервність класичних спостережуваних природно веде до потужності ℶ₁. Для нескінченновимірних гільбертових просторів (як у квантовій теорії поля) виникають складніші потужності, пов’язані з ℶ_α для α > 1.
У Computer Science числа Бет з’являються в теорії обчислюваності та теорії моделей. Тьюрингові ступені нерозв’язності утворюють верхній напіврешітку, і хоча вона не є лінійним порядком, її «ширина» виражається через ℶ_α для досить великих α. Це далека від практичного програмування область, але вона важлива для фундаментальних питань про межі обчислень.
Порівняння понять у таблиці
Для швидкого орієнтування — ще одна таблиця, де порівнюються ключові числові характеристики ℵ і ℶ у перших трьох рівнях ієрархії.
| Індекс | Алеф (ℵ) | Бет (ℶ) | Типові множини |
|---|---|---|---|
| 0 | ℵ₀ = потужність N | ℶ₀ = ℵ₀ | N, Z, Q, алгебраїчні числа |
| 1 | ℵ₁ = найменша незліченна | ℶ₁ = 2^ℵ₀ = c | R, C, ірраціональні, P(N) |
| 2 | ℵ₂ = наступний незліченний | ℶ₂ = 2^c | P(R), R^R, функції R^m R^n |
Як бачимо, ℶ₀ і ℵ₀ збігаються, ℶ₁ — це завжди континуум c, а ℵ₁ залежить від аксіоматики (рівний ℶ₁ за CH, строго менший за ℶ₁ без CH). ℶ₂ — це вже булеан континууму, і він завжди строго більший за будь-який ℵ_α для α < 2.
Поширені запитання
Що таке «в бет» у математиці?
«В бет» — це скорочена назва для літери бет (ב) івриту або для однойменної послідовності кардинальних чисел ℶ_α у теорії множин. Літера — друга в абетці івриту з гематрією 2, а числа Бет визначаються рекурсивно через булеани.
Чим числа Бет відрізняються від чисел Алеф?
Числа Алеф (ℵ_α) — це загальна послідовність кардинальних чисел, яка нумерує всі нескінченні потужності. Числа Бет (ℶ_α) — це конкретна послідовність, що починається з ℵ₀ і далі рухається через булеани. ℶ_(α+1) = 2^ℶ_α, тобто кожне наступне число Бет — це потужність множини всіх підмножин попереднього.
Що таке континуум-гіпотеза простими словами?
Континуум-гіпотеза — це твердження, що не існує множини, яка була б строго більшою за натуральні числа і строго меншою за дійсні числа за потужністю. Іншими словами, ℵ₁ = ℶ₁. Це твердження незалежне від стандартних аксіом теорії множин ZFC.
Хто відкрив числа Бет і коли?
Послідовність чисел Бет увів Георг Кантор у 1890-х роках як частину своєї теорії трансфінітних чисел. Назву «бет» (за другою літерою івриту) він обрав наприкінці 1890-х, остаточно ввівши символ у роботі «Beiträge zur Begründung der transfiniten Mengenlehre» 1895-1897 років.
Чи має бет відношення до давньоєврейської мови?
Так, літера бет (ב) — друга літера гебрайської абетки, яка з’являється на початку Біблії у слові «берешит» (на початку). Гематрія бет — число 2. Звідси походить і назва чисел Бет, бо ℶ₁ = 2 в степені ℵ₀.
Для чого потрібні числа Бет, якщо є числа Алеф?
Числа Бет дають зручну параметризацію потужностей булеанів. Якщо ви вивчаєте простір підмножин якоїсь множини, ℶ_α — це природна мірка його «товщини». Без ℶ-числів формулювання багатьох теорем теорії множин було б складнішим.
Чи можна побачити символ ℶ на клавіатурі?
У Unicode символ бет — це U+2136 (ℶ). У LaTeX команда `\beth` дає цей символ. На клавіатурі його немає, але можна скопіювати з таблиці символів або скористатись спеціальним введенням у Word чи Google Docs.
Чому континуум-гіпотеза незалежна від ZFC?
Курт Гедель у 1940 році показав, що якщо ZFC несуперечлива, то й ZFC + CH несуперечлива. Пол Коен у 1963 році довів, що ZFC + ¬CH також несуперечлива. Разом ці дві теореми доводять незалежність CH від ZFC. Інтуїтивно: стандартних аксіом недостатньо, щоб відповісти на питання про розмір континууму.
Як запам’ятати різницю між ℵ і ℶ?
Найпростіший спосіб — асоціація: «Алеф — це перший (початок), Бет — це другий (подвійність)». Відповідно ℵ нумерує всі потужності, а ℶ — це «булеанизована» послідовність. Другий спосіб: уявіть ℵ як стрічку вліво, а ℶ — як квадрат із відкритою лівою стороною (як у друкованому івриті).
Чи використовують числа Бет у фізиці?
Так, у квантовій механіці та квантовій теорії поля простір станів скінченновимірної системи має потужність ℶ₁ (континуум). Для нескінченновимірних просторів виникають складніші потужності з послідовності ℶ_α. У теоретичній інформатиці алгоритмічна складність борелівських множин також виражається через ℶ.
Якщо тема вас зацікавила, варто почати з простого підручника з теорії множин для бакалаврів і поступово переходити до спеціалізованих монографій. Сім кроків, описаних вище, дають мінімальну базу для розмови з фахівцем і для розуміння, чому просте на вигляд «в бет» ховає за собою три тисячі років історії і відкриту проблему сучасної математики.
Залишити відповідь