.., на Ваш вопрос
KWAKS, вы слишком ... Его уже все жалеют ...
\
Никак нет, это была - лишь разминка . .
А ДАЛЬШЕ-БОЛЬШЕ - ОПЯТЬ смотрим сюдою,
да по-нивматьНЕЕ (тем же носом - в то же хавнО) :
1. СРЕЕСТВАМИ форм ЛОгическими ДОКАЗАНА ..
НЕАЛГОРИТМИ-ЗИРУЕМОСТЬ нектр класса объектов . . .
2. теми же СРЕЕСТВАМИ форм ЛОгическими ДОКАЗАНА ..
АЛГОРИТМИ-ЗИРУЕМОСТЬ отстальных классов объектов . . .
3. ВСЁ теми же СРЕЕСТВАМИ форм ЛОгическими ДОКАЗАНА ..
невозможность чего то третьего : ТРЕТЬЕГО НЕ ДАНО !
То есть, СРЕЕСТВАМИ форм ЛОгическими ДОКАЗАНА ..
как АЛГОРИТМИ-ЗИРУЕМОСТЬ - так и НЕАЛГОРИТМИ-ЗИРУЕМОСТЬ !
--
1. СРЕЕСТВАМИ форм ЛОгическими ДОКАЗАНА ..
НЕЕВКЛИДОВА геометрия - не одна прямая, параллельная данной . . .
2. теми же СРЕЕСТВАМИ форм ЛОгическими ДОКАЗАНА ..
ЕВКЛИДОВА геометрия - строго одна прямая, параллельная данной . . .
3. ВСЁ теми же СРЕЕСТВАМИ форм ЛОгическими ДОКАЗАНА ..
невозможность чего то третьего : ТРЕТЬЕГО НЕ ДАНО !
То есть, СРЕЕСТВАМИ форм ЛОгическими ДОКАЗАНА ..
как ЕВКЛИДОВА геометрия - так и НЕЕВКЛИДОВА геометрия !
--
==
всЕ Ситуации идентичны нижецитируемой ?
Зато другим все видно. :mrgreen: .. познания кваксологии ("(А+_А)=1 - ПРИМЕНИМА ВСЮДУ !"), ... ?
\
==
Поиграем в игру - НАЙТИ
ХОТЯ БЫ ОДНО ОТЛИЧИЕ ? ? ?
--
ПОРА БЫ Вам всем, господа - ОТВЕТИТЬ хотя бы себе (любимому)
КОН-КРЕТ-НО :
Чего не может формальная логика ? ? ?