Парадокс Бурали-Форти

В теории множеств парадокс Бурали-Форти демонстрирует, что предположение о существовании множества всех порядковых чисел ведёт к противоречиям и, следовательно, противоречивой является теория, в которой построение такого множества возможно.

Разрешение в ZFC

Современная аксиоматическая теория множеств избегает этого парадокса, просто не разрешая построение множеств с произвольным свойством элементов, вроде «все множества, удовлетворяющие свойству P», как это допускалось в наивной теории множеств. В системе аксиом New Foundations существует другой способ избежания парадокса, описанный в статье о системе.

История

Парадокс был обнаружен Чезаре Бурали-Форти в 1897 году.

 
Начальная страница  » 
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ы Э Ю Я
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
0 1 2 3 4 5 6 7 8 9 Home