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