Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике ДЛЯ СТУДЕНТОВ И ШКОЛЬНИКОВ ЕСТЬ
ZADANIA.TO
3.4. Формулировка аксиоматической теорииУпорядоченную пару множеств Возможна ли другая формулировка данной теории? Пусть Примером аксиоматической теории может служить теория групп. Эта теория допускает различные формулировки. В теории групп иногда за первичные термины принимают некоторое множество G, бинарную операцию
В качестве теорем можно рассматривать, например, такие высказывания:
Таким образом, перечень
В то же время известно (определение 2.5.2), что теория групп допускает и вторую формулировку:
Вопрос 3.4.1. Указать какую-нибудь интерпретацию теории групп и выяснить, является ли она моделью этой теории. В дальнейшем, приводя формулировки известных теорий, мы часто будем ограничиваться указанием множества Так, например, слова «пусть система Вопрос 3.4.2. Указать различные формулировки теории полей. При построении конкретной содержательной аксиоматической теории из соображений краткости аксиомы иногда формулируют как высказывания о терминах данной теории, не обязательно первичных, а в качестве терминов пользуются терминами какой-нибудь из предшествующих теорий.
|
1 |
Оглавление
|