Відмінності між версіями «Аксіома регулярності»

нема опису редагування
(граматика)
 
'''Аксіома регулярності''' (''аксіома фундування'') — одна з [[аксіома|аксіом]] [[теорія множин Цермело-Френкеля|теорії множин Цермело-Френкеля]] (ZF) (з [[1930]]). Спочатку була сформульована [[Джон фон Нейман|фон Нейманом]] для [[теоріяТеорія множин фон Неймана-Бернайса-Геделя|теорії множин фон Неймана-Бернайса-Геделя]] (NBG) (в [[1925]] ).
 
В будь-якій [[непорожня множина|непорожній множині]] А є елемент B, що [[перетин множин|перетин]] А та B є [[порожня множина|порожньою множиною]]: