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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

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

, где

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

Другие формулировки аксиомы бесконечности[править | править вики-текст]

Примечания[править | править вики-текст]

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

Примеры

, где  — множество, единственным элементом которого является .

, где  — булеан множества

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

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

3. Прочее


См. также[править | править вики-текст]

Литература[править | править вики-текст]