Открыть главное меню

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

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

, где

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

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

 

 

ПримечанияПравить

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

Примеры

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

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

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

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

3. Прочее


См. такжеПравить

ЛитератураПравить