Аксиома бесконечности (Gtvnkbg Qyvtkuycukvmn)

Перейти к навигации Перейти к поиску

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

, где

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

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

[править | править код]

Примечания

[править | править код]

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

Примеры

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

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

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

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

3. Прочее