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