Аксіома нескінченності: відмінності між версіями
[неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Olexiim (обговорення | внесок) Немає опису редагування |
|||
Рядок 3:
'''Аксіома нескінченності''' проголошує існування (принаймні однієї) нескінченної множини, тобто множини, яка складається з <math>~ \varnothing, \qquad \{\varnothing\}, \qquad \{\varnothing, \ \{\varnothing\}\}, \qquad \{\varnothing, \ \{\varnothing\}, \ \{\varnothing, \ \{\varnothing\}\}\}, \quad ...</math>
Тобто, існує така множина ''a'', що включає в себе пусту множину {} та для будь-якого належного їй елемента ''b'' включає також і множину, сформовану як об'єднання ''b'' та її [[сиглетон]]у {''b''}.
== Інші формулювання аксіоми нескінченності ==
|