Аксіоматика теорії множин: відмінності між версіями
| [неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Немає опису редагування |
Немає опису редагування |
||
Рядок 66:
Тобто, в такій побудові кожне натуральне число дорівнює множині всіх попередніх натуральних чисел. Без цієї аксіоми така побудова була б неможливою.
===Схема сепарації (аксіома виділення)===
Для будь-якої множини А і властивості P існує множина B, елементами якої є ті й тільки ті елементи множини А, які відповідають умові P.
Рядок 75:
Для кожної такої властивості ([[предикат|предиката]] P, існує окрема аксіома виділення. Тому комплект таких аксіом називають схемою.
===Схема підстановки===
Нехай А - множина, і P(y,z) - [[предикат]]. Тоді якщо для кожного y існує єдиний z, такий що P(y,z) істинний, тоді існує множина всіх z, для яких знайдеться такий y ∈ X, що P(y,z) істинний.
[[Category:Теорія множин]]
| |||