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

+ {{Ізольована стаття|сирота1}} за допомогою AWB
м (робот додав: en:Axiom of regularity)
(+ {{Ізольована стаття|сирота1}} за допомогою AWB)
{{Ізольована стаття|сирота1}}
'''Аксіома регулярності''' (''аксіома фундування'') — одна з [[аксіома|аксіом]] [[теорія множин Цермело-Френкеля|теорії множин Цермело-Френкеля]] (ZF) (з [[1930]]). Спочатку була зформульована [[Джон фон Нейман|фон Нейманом]] для [[теорія множин Неймана-Бернайса-Геделя|теорії множин Неймана-Бернайса-Геделя]] (NBG) (в [[1925]] ).
 
196 256

редагувань