Счетный набор - Countable set

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

Некоторые авторы используют счетное множество для обозначения счетно бесконечный один.^[1] Чтобы избежать этой двусмысленности, термин самое большое количество может использоваться, когда включены конечные множества и счетно бесконечный, перечислимый,^[2] или же счетный^[3] иначе.

Георг Кантор ввел термин счетный набор, контрастирующие множества, которые счетны, с теми, которые бесчисленный (т.е. неисчислимый или же неисчислимый^[4]). Сегодня счетные множества составляют основу раздела математики, называемого дискретная математика.

Определение

Множество $S$ является счетный если существует инъективная функция $ж$ из $S$ к натуральные числа $N = {0, 1, 2, 3, ...$ }.^[5]

Если такой $ж$ можно найти, что также сюръективный (и поэтому биективный ), тогда $S$ называется счетно бесконечный.

Другими словами, набор счетно бесконечный если у него есть индивидуальная переписка с набором натуральных чисел, $N$ . В этом случае мощность множества обозначается ${displaystyle aleph _ {0}}$ (алеф-нуль ) - первое в серии чисел алеф.^[6]

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

Альтернативные (эквивалентные) формулировки определения в терминах биективный функция или сюръективный функция также может быть дана. Видеть § Формальный обзор без подробностей ниже.

История

В 1874 г. его первая статья по теории множеств, Кантор доказал, что множество действительные числа несчетно, таким образом показывая, что не все бесконечные множества счетны.^[7] В 1878 году он использовал взаимно однозначные соответствия для определения и сравнения мощностей.^[8] В 1883 году он расширил натуральные числа своей бесконечной порядковые, и использовал наборы ординалов для создания бесконечного множества наборов, имеющих разные бесконечные мощности.^[9]

Вступление

А набор это собрание элементы, и его можно описать по-разному. Один из способов - просто перечислить все его элементы; например, набор, состоящий из целых чисел 3, 4 и 5, может быть обозначен {3, 4, 5}. Однако это эффективно только для небольших наборов; для больших наборов это займет много времени и может привести к ошибкам. Вместо перечисления каждого отдельного элемента иногда используется многоточие («...»), если автор считает, что читатель может легко угадать, чего не хватает; например, {1, 2, 3, ..., 100} предположительно обозначает набор целые числа от 1 до 100. Однако даже в этом случае возможный чтобы перечислить все элементы, потому что набор конечный.

Некоторые наборы бесконечный; в этих наборах более п элементы для любого целого числа п. Например, набор натуральных чисел, обозначаемый {0, 1, 2, 3, 4, 5, ...}, имеет бесконечно много элементов, и мы не можем использовать какое-либо обычное число для определения его размера. Тем не менее, оказывается, что бесконечные множества имеют четко определенное понятие размера (или, точнее, мощность, технический термин для количества элементов в наборе), и не все бесконечные наборы имеют одинаковую мощность.

Биективное отображение целых чисел в четные

Чтобы понять, что это значит, сначала рассмотрим, что это не иметь в виду. Например, существует бесконечно много нечетных целых чисел, бесконечно много четных целых чисел и (следовательно) бесконечно много целых чисел в целом. Однако оказывается, что количество четных целых чисел, которое совпадает с количеством нечетных целых чисел, также совпадает с количеством целых чисел в целом. Это потому, что мы можем расположить вещи так, что для каждого целого числа существует различное четное число: ... −2 → −4, −1 → −2, 0 → 0, 1 → 2, 2 → 4, ... ; или, в более общем смысле, п→2п (см. картинку). Что мы здесь сделали, так это расположили целые и четные числа в виде индивидуальная переписка (или же биекция ), что является функция который отображает два набора таким образом, что каждый элемент каждого набора соответствует одному элементу в другом наборе.

Однако не все бесконечные множества имеют одинаковую мощность. Например, Георг Кантор (кто ввел эту концепцию) продемонстрировал, что действительные числа не могут быть поставлены во взаимно однозначное соответствие с натуральными числами (неотрицательными целыми числами), и поэтому набор действительных чисел имеет большую мощность, чем набор натуральных чисел. .

Набор есть счетный если: (1) он конечен или (2) имеет ту же мощность (размер), что и набор натуральных чисел (т. е. счетный).^[10] Эквивалентно набор счетный если он имеет ту же мощность, что и некоторые подмножество множества натуральных чисел. В противном случае это бесчисленный.

Формальный обзор без подробностей

По определению набор S является счетный если существует инъективная функция ж : S → N из S к натуральные числа N = {0, 1, 2, 3, ...}.

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

Чтобы прояснить это, нам понадобится концепция биекция. Хотя «биекция» кажется более продвинутой концепцией, чем число, обычное развитие математики с точки зрения теории множеств определяет функции перед числами, поскольку они основаны на гораздо более простых наборах. Здесь приходит на помощь концепция взаимного соответствия: определить соответствие

а ↔ 1, б ↔ 2, c ↔ 3

Поскольку каждый элемент {а, б, c} в паре с ровно один элемент {1, 2, 3}, и наоборот, это определяет биекцию.

Обобщим эту ситуацию и определять два набора одинакового размера, если и только если между ними существует взаимное соответствие. Для всех конечных множеств это дает нам обычное определение «одинакового размера».

Что касается случая бесконечных множеств, рассмотрим множества А = {1, 2, 3, ...}, множество положительных целые числа и B = {2, 4, 6, ...}, множество четных натуральных чисел. Мы утверждаем, что по нашему определению эти множества имеют одинаковый размер и, следовательно, B счетно бесконечно. Напомним, чтобы доказать это, нам нужно продемонстрировать взаимное соответствие между ними. Этого можно добиться с помощью присваивания п ↔ 2п, так что

1 ↔ 2, 2 ↔ 4, 3 ↔ 6, 4 ↔ 8, ....

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

Точно так же набор всех заказанные пары натуральных чисел счетно бесконечно, в чем можно убедиться, проследив путь, подобный показанному на картинке:

В Функция сопряжения Кантора присваивает одно натуральное число каждой паре натуральных чисел

Полученное отображение происходит следующим образом:

0 ↔ (0,0), 1 ↔ (1,0), 2 ↔ (0,1), 3 ↔ (2,0), 4 ↔ (1,1), 5 ↔ (0,2), 6 ↔ (3,0) ....

Это отображение покрывает все такие упорядоченные пары.

Если каждая пара рассматривается как числитель и знаменатель из вульгарная фракция, то для каждой положительной дроби мы можем найти соответствующее ей число. Это представление включает также натуральные числа, поскольку каждое натуральное число также является дробью. N/ 1. Таким образом, мы можем сделать вывод, что положительных рациональных чисел ровно столько, сколько положительных целых. Это верно также для всех рациональных чисел, как показано ниже.

Теорема: В Декартово произведение конечного числа счетных множеств счетно.

Эта форма треугольной отображение рекурсивно обобщает на векторов конечного числа натуральных чисел, многократно отображая первые два элемента в натуральное число. Например, (0,2,3) отображается в (5,3), что соответствует 39.

Иногда полезно более одного отображения: набор, который должен быть счетно бесконечным, отображается на другой набор, затем этот другой набор отображается на натуральные числа. Например, положительный рациональное число может быть легко отображен на (подмножество) пар натуральных чисел, потому что п/q сопоставляется с (п, q).

Следующая теорема касается бесконечных подмножеств счетно бесконечных множеств.

Теорема: Каждое подмножество счетного множества счетно. В частности, каждое бесконечное подмножество счетно бесконечного множества счетно бесконечно.^[11]

Например, набор простые числа счетно, отображая п-е простое число до п:

2 соответствует 1
3 карты в 2
5 карт в 3
7 карт в 4
11 карт в 5
13 карт в 6
17 карт в 7
19 карт в 8
23 карт в 9
...

Есть также наборы, которые "естественно больше, чем" N. Например, Z набор всех целые числа или же Q, набор всех рациональное число, который интуитивно может показаться намного больше, чем N. Но внешний вид может быть обманчивым, поскольку мы утверждаем:

Теорема: Z (набор всех целых чисел) и Q (множество всех рациональных чисел) счетны.

Аналогичным образом набор алгебраические числа счетно.^[12]

Эти факты легко вытекают из результата, который многие люди считают не интуитивным.

Теорема: Любой конечный союз счетных множеств счетно.

С предвидением, зная, что существует бесчисленное множество множеств, мы можем задаться вопросом, можно ли продвинуть этот последний результат дальше. Ответ - «да» и «нет», мы можем расширить его, но для этого нам нужно принять новую аксиому.

Теорема: (Предполагая, что аксиома счетного выбора ) Объединение счетного числа счетных множеств счетно.

Например, для счетных множеств а, б, c, ...

Перечисление счетного числа счетных множеств

Используя вариант треугольного перечисления, который мы видели выше:

а₀ соответствует 0
а₁ соответствует 1
б₀ соответствует 2
а₂ соответствует 3
б₁ соответствует 4
c₀ соответствует 5
а₃ соответствует 6
б₂ соответствует 7
c₁ соответствует 8
d₀ соответствует 9
а₄ соответствует 10
...

Это работает, только если наборы а, б, c, ... находятся непересекающийся. Если нет, то объединение еще меньше и, следовательно, тоже счетно по предыдущей теореме.

Нам нужен аксиома счетного выбора индексировать все наборы а, б, c, ... одновременно.

Теорема: Множество всех конечной длины последовательности натуральных чисел счетно.

Этот набор представляет собой объединение последовательностей длины 1, последовательностей длины 2, последовательностей длины 3, каждая из которых является счетным набором (конечное декартово произведение). Итак, мы говорим о счетном объединении счетных множеств, которое счетно по предыдущей теореме.

Теорема: Множество всех конечных подмножества натуральных чисел счетно.

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

Следующая теорема дает эквивалентные формулировки в терминах биективной функции или сюръективная функция. Доказательство этого результата можно найти в тексте Лэнга.^[3]

(Основная) Теорема: Позволять S быть набором. Следующие утверждения эквивалентны:

S счетна, т.е. существует инъективная функция ж : S → N.
Либо S пусто или существует сюръективная функция грамм : N → S.
Либо S конечно или существует биекция час : N → S.

Следствие: Позволять S и Т быть наборами.

Если функция ж : S → Т инъективен и Т счетно, тогда S счетно.
Если функция грамм : S → Т сюръективно и S счетно, тогда Т счетно.

Теорема кантора утверждает, что если А это набор и п(А) это его набор мощности, т.е. множество всех подмножеств А, то сюръективной функции из А к п(А). Доказательство приводится в статье. Теорема кантора. Как непосредственное следствие этого и основной теоремы выше мы имеем:

Предложение: Набор п(N) не исчисляется; т.е. это бесчисленный.

Для уточнения этого результата см. Диагональный аргумент Кантора.

Набор действительные числа несчетное количество (см. Первое доказательство несчетности Кантора ), как и множество всех бесконечных последовательности натуральных чисел.

Некоторые технические детали

Доказательства утверждений в предыдущем разделе основаны на существовании функций с определенными свойствами. В этом разделе представлены функции, обычно используемые в этой роли, но не проверки того, что эти функции обладают необходимыми свойствами. Основная теорема и ее следствие часто используются для упрощения доказательств. Заметьте, что $N$ в этой теореме можно заменить любым счетно бесконечным множеством.

Предложение: Любой конечный набор счетно.

Доказательство: Позволять $S$ быть таким набором. Следует рассмотреть два случая: Либо $S$ пусто или нет. 1.) Пустое множество само является подмножеством натуральных чисел, поэтому оно счетно. 2.) Если $S$ непусто и конечно, то по определению конечности существует биекция между $S$ и множество {1, 2, ..., $п$ } для некоторого положительного натурального числа $п$ . Эта функция является инъекцией от $S$ в $N$ .

Предложение: Любое подмножество счетного множества счетно.^[13]

Доказательство: Ограничение инъективной функции на подмножество ее домен все еще инъективен.

Предложение: Если $S$ счетное множество, то $S \cup {Икс$ } счетно.^[14]

Доказательство: Если $x \in S$ нечего показывать. В противном случае пусть $ж : S \to N$ быть уколом. Определять $грамм : S \cup {Икс} \to N$ к $грамм (Икс) = 0$ и $грамм (у) = ж (у) + 1$ для всех $у$ в $S$ . Эта функция $грамм$ это инъекция.

Предложение: Если $А$ и $B$ являются счетными множествами, то $А \cup B$ счетно.^[15]

Доказательство: Позволять $ж : А \to N$ и $грамм : B \to N$ быть уколами. Определите новую инъекцию $час : А \cup B \to N$ к $час (Икс) = 2 ж (Икс)$ если $Икс$ в $А$ и $час (Икс) = 2 грамм (Икс) + 1$ если $Икс$ в $B$ но не в $А$ .

Предложение: В Декартово произведение двух счетных множеств $А$ и $B$ счетно.^[16]

Доказательство: Заметьте, что $N \times N$ счетна как следствие определения, поскольку функция $ж : N \times N \to N$ данный $ж (м, п) = 2 м 3 п$ инъективно.^[17] Тогда из основной теоремы и следствия следует, что декартово произведение любых двух счетных множеств счетно. Это следует потому, что если $А$ и $B$ счетны есть сюрприз $ж : N \to А$ и $грамм : N \to B$ . Так

ж \times грамм : N \times N \to А \times B

сюръекция из счетного множества $N \times N$ к набору $А \times B$ и из следствия следует $А \times B$ счетно. Этот результат обобщается на декартово произведение любого конечного набора счетных множеств, и доказательство следует с помощью индукция от количества наборов в коллекции.

Предложение: В целые числа $Z$ счетны, а рациональное число $Q$ счетны.

Доказательство: Целые числа $Z$ счетны, потому что функция $ж : Z \to N$ данный $ж (п) = 2 п$ если $п$ неотрицательно и $ж (п) = 3 - п$ если $п$ отрицательная, является инъективной функцией. Рациональные числа $Q$ счетны, потому что функция $грамм : Z \times N \to Q$ данный $грамм (м, п) = м /(п + 1)$ сюръекция из счетного множества $Z \times N$ к рациональным $Q$ .

Предложение: В алгебраические числа $А$ счетны.

Доказательство: По определению каждое алгебраическое число (включая комплексные числа) является корнем многочлена с целыми коэффициентами. Учитывая алгебраическое число ${displaystyle alpha}$ , позволять ${displaystyle a_ {0} x ^ {0} + a_ {1} x ^ {1} + a_ {2} x ^ {2} + cdots + a_ {n} x ^ {n}}$ - многочлен с целыми коэффициентами такой, что ${displaystyle alpha}$ это k-й корень полинома, где корни сортируются по абсолютной величине от малого к большому, а затем по аргументу от маленького к большому. Мы можем определить функцию инъекции (т. Е. Один-к-одному) $ж : А \to Q$ данный ${displaystyle f (alpha) = 2 ^ {k-1} cdot 3 ^ {a_ {0}} cdot 5 ^ {a_ {1}} cdot 7 ^ {a_ {2}} cdots {p_ {n + 2}} ^ {a_ {n}}}$ , пока ${displaystyle p_ {n}}$ это п-го основной.

Предложение: Если $А п$ является счетным множеством для каждого $п$ в $N$ затем объединение всех $А п$ также счетно.^[18]

Доказательство: Это следствие того, что для каждого $п$ есть сюръективная функция $грамм п : N \to А п$ а значит, функция

{displaystyle G: mathbf {N} imes mathbf {N} o igcup _ {nin mathbf {N}} A_ {n},}

данный $грамм (п, м) = грамм п (м)$ это сюръекция. С $N \times N$ счетно, то из следствия следует счетность объединения. Мы используем аксиома счетного выбора в этом доказательстве выбрать для каждого $п$ в $N$ сюрприз $грамм п$ из непустого набора сюрпризов из $N$ к $А п$ .

Топологическое доказательство несчетности действительных чисел описано на свойство конечного пересечения.

Минимальная модель теории множеств счетна

Если есть комплект стандартной модели (см. внутренняя модель ) теории множеств ZFC, то существует минимальная стандартная модель (видеть Конструируемая вселенная ). В Теорема Лёвенгейма – Сколема можно использовать, чтобы показать, что эта минимальная модель счетна. Тот факт, что понятие «несчетность» имеет смысл даже в этой модели, и в частности, что эта модель M содержит элементы, которые:

подмножества M, следовательно, счетно,
но бесчисленное количество с точки зрения M,

считалось парадоксальным в первые дни теории множеств, см. Парадокс Сколема для большего.

Минимальная стандартная модель включает в себя все алгебраические числа и все эффективно вычислимы трансцендентные числа, а также многие другие числа.

Всего заказов

Счетные множества могут быть полностью заказанный различными способами, например:

Хорошие заказы (смотрите также порядковый номер ):
- Обычный порядок натуральных чисел (0, 1, 2, 3, 4, 5, ...)
- Целые числа в порядке (0, 1, 2, 3, ...; −1, −2, −3, ...)
Другой (нет заказы скважин):
- Обычный порядок целых чисел (..., −3, −2, −1, 0, 1, 2, 3, ...)
- Обычный порядок рациональных чисел (не может быть явно записан как упорядоченный список!)

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

Смотрите также

Примечания

^ Рудин 1976, Глава 2
^ Камке 1950, п. 2
^ ^а ^б Lang 1993, § 2 главы I
^ Апостол 1969, Глава 13.19
^ Поскольку есть очевидное биекция между $N$ и $N * = {1, 2, 3, ...$ }, не имеет значения, считать 0 натуральным числом или нет. В любом случае эта статья следует за ISO 31-11 и стандартное соглашение в математическая логика, который принимает 0 как натуральное число.
^ «Исчерпывающий список символов теории множеств». Математическое хранилище. 2020-04-11. Получено 2020-09-06.
^ Стиллвелл, Джон С. (2010), Дороги в бесконечность: математика истины и доказательства, CRC Press, стр. 10, ISBN 9781439865507, Открытие Кантором бесчисленных множеств в 1874 году было одним из самых неожиданных событий в истории математики. До 1874 года бесконечность даже не считалась законным математическим предметом для большинства людей, так что необходимость различать счетные и несчетные бесконечности даже представить себе не могла.
^ Кантор 1878, стр. 242.
^ Феррейрос 2007, стр. 268, 272–273.
^ Вайсштейн, Эрик В. «Счетный набор». mathworld.wolfram.com. Получено 2020-09-06.
^ «9.2: Счетные множества». Математика LibreTexts. 2017-09-20. Получено 2020-09-06.
^ Камке 1950, стр. 3–4
^ Халмос 1960, п. 91
^ Авельсгаард 1990, п. 179
^ Авельсгаард 1990, п. 180
^ Халмос 1960, п. 92
^ Авельсгаард 1990, п. 182
^ Флетчер и Пэтти 1988, п. 187

Число системы
Счетные множества	Натуральные числа ( ${displaystyle mathbb {N}}$ ) Целые числа ( ${displaystyle mathbb {Z}}$ ) Рациональное число ( ${displaystyle mathbb {Q}}$ ) Конструируемые числа Алгебраические числа ( ${displaystyle mathbb {A}}$ ) Периоды Вычислимые числа Определимые действительные числа Арифметические числа Гауссовские целые числа
Композиционные алгебры	Алгебры с делением: Действительные числа ( ${displaystyle mathbb {R}}$ ) Сложные числа ( ${displaystyle mathbb {C}}$ ) Кватернионы ( ${displaystyle mathbb {H}}$ ) Октонионы ( ${displaystyle mathbb {O}}$ )
Расколоть типы	над ${displaystyle mathbb {R}}$ : Сплит-комплексные числа Сплит-кватернионы Сплит-октонионы над ${displaystyle mathbb {C}}$ : Бикомплексные числа Бикватернионы Биоктонионы
Другой гиперкомплекс	Двойные числа Двойные кватернионы Двойные комплексные числа Гиперболические кватернионы Седенионы ( ${displaystyle mathbb {S}}$ ) Сплит-бикватернионы Мультикомплексные номера Геометрическая алгебра Алгебра физического пространства Алгебра пространства-времени
Другие типы	Количественные числительные Иррациональные числа Нечеткие числа Гиперреальные числа Поле Леви-Чивита Сюрреалистические числа Трансцендентные числа Порядковые номера п-адический числа (п-адический соленоиды ) Сверхъестественные числа Сверхреальные числа
Классификация Список

Математическая логика
Общий	Формальный язык Правило формирования Формальное доказательство Формальная семантика Правильная формула Набор Элемент Учебный класс Классическая логика Аксиома Правило вывода Связь Теорема Логическое следствие Теория типов Символ Синтаксис Теория
Системы	Формальная система Дедуктивная система Аксиоматическая система Системы гильбертовского стиля Естественный вычет Последовательное исчисление
Традиционная логика	Предложение Вывод Аргумент Срок действия Силлогизм Площадь оппозиции Диаграмма Венна
Исчисление высказываний и Логическая логика	Логические функции Исчисление высказываний Пропозициональная формула Логические связки Таблицы истинности Многозначная логика
Логика предикатов	Первый заказ Квантификаторы Предикат Второго порядка Монадическое исчисление предикатов
Наивная теория множеств	Набор Пустой набор Элемент Перечисление Расширяемость Конечный набор Бесконечный набор Подмножество Набор мощности Счетный набор Бесчисленное множество Рекурсивный набор Домен Codomain Изображение карта Функция Связь Упорядоченная пара
Теория множеств	Основы математики Теория множеств Цермело – Френкеля Аксиома выбора Общая теория множеств Теория множеств Крипке – Платека Теория множеств фон Неймана – Бернейса – Гёделя. Теория множеств Морса – Келли Теория множеств Тарского – Гротендика
Теория моделей	Модель Интерпретация Нестандартная модель Теория конечных моделей Ценность правды Срок действия
Теория доказательств	Формальное доказательство Дедуктивная система Формальная система Теорема Логическое следствие Правило вывода Синтаксис
Вычислимость теория	Рекурсия Рекурсивный набор Рекурсивно перечислимый набор Проблема решения Тезис Черча – Тьюринга Вычислимая функция Примитивная рекурсивная функция

Теория множеств
Обзор	Набор (математика)
Аксиомы	Пристройка Выбор счетный зависимый Глобальный Конструктивность (V = L) Решительность Расширяемость бесконечность Ограничение размера Сопряжение Набор мощности Регулярность Союз Аксиома мартина Схема аксиомы замена Технические характеристики
Операции	Декартово произведение Дополнение Законы де Моргана Несвязный союз Пересечение Набор мощности Установить разницу Симметричная разница Союз
Концепции Методы	Мощность количественное числительное (большой ) Учебный класс Конструируемая вселенная Гипотеза континуума Диагональный аргумент Элемент упорядоченная пара кортеж Семья Принуждение Индивидуальная переписка Порядковый номер Трансфинитная индукция Диаграмма Венна
Набор типы	Счетный Пустой Конечный (по наследству ) Нечеткое Бесконечный (Дедекинд-бесконечный ) Рекурсивный Подмножество· Суперсет Переходный Бесчисленное множество Универсальный
Теории	Альтернатива Аксиоматика Наивный Теорема кантора Цермело Общий Principia Mathematica Новые основы Цермело – Френкель фон Нейман – Бернейс – Гёдель Морс – Келли Крипке – Платек Тарский – Гротендик
Парадоксы Проблемы	Парадокс Рассела Проблема суслина Парадокс Бурали-Форти
Теоретики множеств	Авраам Френкель Бертран Рассел Эрнст Цермело Георг Кантор Джон фон Нейман Курт Гёдель Пол Бернейс Пол Коэн Ричард Дедекинд Томас Джеч Торальф Сколем Уиллард Куайн