Задача из учебн. Куратовского, Мостовского "Теория множеств"

[grizzly]

(realeugene)

realeugene в сообщении #1239573 писал(а):

Но мы сейчас обсуждаем строгое доказательство.

Обратите, пожалуйста, внимание, в каком разделе Вы находитесь. По традициям (и правилам) нашего форума в этом разделе оказывается помощь ТС в соответствии с уровнем его знаний и, по возможности, с методологией того изложения материала, по которому он обучается. Возможно, Вы не совсем верно оценили уровень ТС и уж точно не ориентируетесь лучше уважаемого Someone в методологии данного курса.

[realeugene]

Someone в сообщении #1239579 писал(а):

Я хотел написать то, что написал.

Признаю, хорошо написали, но парсер выражений вы всё-таки не написали. Согласен, не стоит, конечно, забывать, что аксиоматика теории множеств достаточно сильна, чтобы в одном предложении спрятать не только утверждение, обычно требующее индуктивного доказательства, но и вообще какую-нибудь машину. Так что, вопрос чисто технический. Но про метаматематику вы всё же сами зачем-то упомянули. А сведение выражений к построенному вами минимальному множеству - это тоже часть исходной задачи.

grizzly в сообщении #1239580 писал(а):

Обратите, пожалуйста, внимание, в каком разделе Вы находитесь.

Да, спасибо, что напомнили. Действительно, раздел немного не подходящий для дискуссий, да и обсуждение вышло далеко за границы необходимого ТС минимума. Всё от желания рассмотреть (и показать ТС) эту задачу на разных уровнях. Но, да, закругляюсь.

Someone, бесспорно, силён не только в методологии преподавания.