Аксиома экстенсиональности
Аксиома экстенсиональности Определение аксиомы расширяемости Аксиома утверждает, что два множества равны, если они имеют одинаковые элементы. Используется для определения уникального […]
Вики
Urelements
Вики
Первоэлемент
Элемент управления Определение и роль ur-элементов в теории множеств Ur-элемент — это объект, не являющийся множеством, но который может быть
Вики
Первоэлемент
Элемент управления Определение и роль ur-элементов в теории множеств Ur-элемент — это объект, не являющийся множеством, но который может быть
Вики
Аксиома экстенсиональности
Аксиома экстенсиональности Аксиома расширяемости утверждает, что два множества равны, если они имеют точно одинаковые члены. Аксиома может быть использована для
Вики
Новые фонды
Новые фундаменты Теория множеств фон Неймана-Бернейса (NF) является аксиоматической теорией множеств, основанной на интуиции и понимании. NF включает аксиомы понимания,