|
XOR |
|
|
|
Здравствуйте. Как известно, наивная теория множеств Кантора столкнулась с целым рядом парадоксов, которые вынудили математиков тем или иным образом аксиоматизировать теорию. Хотелось бы поговорить об этих парадоксах, самым известным из которых является парадокс Рассела. Этот парадокс является следствием так называемой "схемы свёртывания", согласно которой для всякого условия P(x) существует множество y, состоящее из всех тех x, которые удовлетворяют условию P(x). А что, если заменить эту схему аксиом следующей:
Для всякого условия P(x) существует множество y, состоящее только из тех x, которые удовлетворяют условию P(x).
Как видно, эта аксиома не требует, чтобы множество обязательно включала в себя все элементы, обладающие свойством P(x). Можно ли, пользуясь этой аксиомой, построить "наивную", но содержательную теорию, не содержащую парадоксов?
|
|
|
|
 |
|
mihaild |
|
|
|
Ваша формулировка говорит, что существует пустое множество, и больше ничего не требует. Этого вряд ли хватит для чего-то содержательного.
|
|
|
|
|
|
XOR |
|
|
Ваша формулировка говорит, что существует пустое множество, и больше ничего не требует. Этого вряд ли хватит для чего-то содержательного. А первоначальная?
|
|
|
|
|
|
mihaild |
|
|
А первоначальная? А первоначальная противоречива. Содержательный вариант - современная ограниченная схема выделения.
|
|
|
|
|
|
Ende |
|
|
|
|
|
|
