Доказать, что частично упорядоченное множество является непротиворечивой и полной теорией. задан 26 Мар '15 20:43 donki |
Доказать, что частично упорядоченное множество является непротиворечивой и полной теорией. задан 26 Мар '15 20:43 donki |
Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.
Присоединяйтесь!
отмечен:
задан
26 Мар '15 20:43
показан
840 раз
обновлен
26 Мар '15 20:52
Формулировка условия искажена. Само множество теорией быть не может.