Аксиома бесконечности

Аксиомой бесконечности (англ. axiom of infinity) называется следующее высказывание теории множеств:

<math>\exist a \ (\varnothing \in a \ \land \ \forall b \ (b \in a \to b \cup \{b\} \in a) \ )</math>, где <math>b \cup \{b\} = \{c: \ c \in b \ \lor \ c = b\}</math>

Из аксиомы бесконечности следует существование [по меньшей мере одного] бесконечного множества.

Другие формулировки аксиомы бесконечности

<math>\exist a_\infty \ (\exist a_\varnothing \ (a_\varnothing \in a_\infty \ \land \ \forall b \ (b \notin a_\varnothing)) \ \ \land \ \ \forall b \exist c \forall d \ (b \in a_\infty \to (c \in a_\infty \ \land \ (d \in c \leftrightarrow d \in b \ \lor \ d = b))))</math>

<math>\exist a_\infty \ (\exist a_\varnothing \ (a_\varnothing \in a_\infty \ \land \ \forall b \ (b \notin a_\varnothing)) \ \ \land \ \ \forall b \forall c \exist d \ (b \in a_\infty \to ((d \in c \leftrightarrow d \in b \ \lor \ d = b) \to c \in a_\infty)))</math>

Примечания

0. Индуктивные высказывания

Примеры

<math>\exist a \ (\varnothing \in a \quad \land \quad \forall b \ (b \in a \to \{b\} \in a))</math>, где <math>\{b\}</math> — множество, единственным элементом которого является <math>b</math>.

<math>\exist a \ (\varnothing \in a \quad \land \quad \forall b \ (b \in a \to \mathcal{P}(b) \in a))</math>, где <math>\mathcal{P}(b)</math> — булеан множества <math>b</math>

1. О выводимости аксиомы бесконечности из других высказываний

2. О единственности «бесконечного множества»

3. Прочее

См. также

• Аксиоматика теории множеств

• Математическая индукция

• Трансфинитная индукция

Отрывок, характеризующий Аксиома бесконечности

Один выстрел задел в ногу французского солдата, и странный крик немногих голосов послышался из за щитов. На лицах французского генерала, офицеров и солдат одновременно, как по команде, прежнее выражение веселости и спокойствия заменилось упорным, сосредоточенным выражением готовности на борьбу и страдания. Для них всех, начиная от маршала и до последнего солдата, это место не было Вздвиженка, Моховая, Кутафья и Троицкие ворота, а это была новая местность нового поля, вероятно, кровопролитного сражения. И все приготовились к этому сражению. Крики из ворот затихли. Орудия были выдвинуты. Артиллеристы сдули нагоревшие пальники. Офицер скомандовал «feu!» [пали!], и два свистящие звука жестянок раздались один за другим. Картечные пули затрещали по камню ворот, бревнам и щитам; и два облака дыма заколебались на площади.
Несколько мгновений после того, как затихли перекаты выстрелов по каменному Кремлю, странный звук послышался над головами французов. Огромная стая галок поднялась над стенами и, каркая и шумя тысячами крыл, закружилась в воздухе. Вместе с этим звуком раздался человеческий одинокий крик в воротах, и из за дыма появилась фигура человека без шапки, в кафтане. Держа ружье, он целился во французов. Feu! – повторил артиллерийский офицер, и в одно и то же время раздались один ружейный и два орудийных выстрела. Дым опять закрыл ворота.