344
правки
Изменения
→Теоретико-множественное определение
* <tex>3=\Big\{\varnothing,\;\left\{\varnothing\right\},\;\big\{\varnothing,\;\left\{\varnothing\right\}\big\}\Big\}</tex>
Классы эквивалентности этих множеств относительно биекций также обозначают <tex>0, 1, 2, \cdotsdots.</tex>
Перечисленные аксиомы отражают наше интуитивные представления о «натуральном ряде».