это множество содержащее конечное число элементов ?
эт ты таким завуализированным способом говоришь о двумерном массиве?
Если да, то содержит ли она саму в себе ?
Ну, кстати, двумерный массив-то может содержать ссылку на себя:)
Попахивает каким нибудь известным парадоксом или мат. проблемой тысячелетия.
Рассмотрим теперь множество всех обычных множеств. Поскольку оно множество, о нем тоже можно спрашивать, обычное оно или необычное. Ответ, однако, оказывается обескураживающим. Если оно обычное, то, согласно своему определению, должно содержать само себя в качестве элемента, поскольку содержит все обычные множества. Но это означает, что оно является необычным множеством. Допущение, что наше множество представляет собой обычное множество, приводит, таким образом, к противоречию. Значит, оно не может быть обычным. С другой стороны, оно не может быть также необычным: необычное множество содержит само себя в качестве элемента, а элементами нашего множества являются только обычные множества. В итоге приходим к заключению, что множество всех обычных множеств не может быть ни обычным, пи необычным множеством.
Обсуждают сегодня