[Евгений-Бур]

Сообщение от садовник

К примеру, я выдвигал тезис математикам:
Если любая модель в заданных рамках непротиворечива, то она может быть реализована.
Следовало возражение, что нет, не может. Но никаких обоснований привести никто до сих пор так и не смог.
Типа, это математически может, а в реальности имеются запреты на реализацию.
А какие такие запреты? Чему противоречит реализация непротиворечивой модели в заданных рамках?

ну, если майский жук летает даже супротив, то почему нет?)))
-------
вопросы.
1. я не понял про множество, которое окружность.
напомню из нашего разговора, Вашей реплики: "слово" множество в определении окружности, не является множеством в смысле ТМ. пояснить не затруднит? и хотя бы один пример настоящего множества, т.е. в смысле ТМ.
2. как будет выглядеть объединение двух таких множеств (если это множества): А ={табуретка в сборе} и Б={Сидение, нога1, нога2, нога3}. в множестве Б -- детали именно ЭТОЙ табуретки.
вижу варианты (три варианта): {т_в_сборе, сидение, н1, н2, н3}, {табуретка в сборе}, {Сидение, нога1, нога2, нога3}
Карл!!! ТРИ варианта! не много ли? в первом вообще стало две табуретки.
------
я с Вами соглашусь: полный отрыв моделей от реальности приводит к парадоксам.