Как множество может быть описано в рамках теории множеств Цермело-Френкеля?

В рамках теории множеств Цермело–Френкеля множество описывается с помощью аксиом, которые являются утверждениями, допускаемыми как истины без доказательств. www.buddymath.com Каждая аксиома — правило, которое определяет, как себя ведут множества. www.buddymath.com

Некоторые способы описания множеств в этой теории:

• Аксиома экстенсиональности. www.buddymath.com Утверждает, что два множества равны, если они имеют одни и те же элементы. www.buddymath.com Например, множества A = {1, 2, 3} и B = {3, 1, 2} — это одно и то же множество, потому что у них одни и те же элементы, хотя их порядок различен. www.buddymath.com
• Аксиома пустого множества. www.buddymath.com Принимает существование множества без элементов, которое называется пустым множеством и обозначается {} или ∅. www.buddymath.com
• Аксиома замены. www.buddymath.com Позволяет строить множество, заменяя каждый элемент первоначального множества другим множеством для любого множества и определённой операции. www.buddymath.com
• Аксиома регулярности (также называемая базой). www.buddymath.com Гарантирует, что каждое множество является хорошо основанным, означает, что ни одно множество не может содержать себя в качестве члена, прямо или косвенно. www.buddymath.com
• Аксиома выбора. www.buddymath.com Утверждает, что для любого непустого множества существует функция выбора, которая выбирает точно один элемент из каждого множества. www.buddymath.com

В теории множеств Цермело–Френкеля элементами любого множества могут быть только множества, а такие объекты, как натуральные числа, точки прямой и т. д., рассматриваются как множества специального вида. homepage.mi-ras.ru