alt text

задан 5 Окт 6:33

В первом пункте можно ли за T взять просто набор аксиом полей плюс предложения $%\{\neg (t_n=0): n\in \mathbb N\}$% где $%t_n$% - терм $%1+\dots+1$% n раз?

(11 Окт 19:23) logic

@logic: да, конечно.

(12 Окт 2:25) falcao

А для второго пункта надо какую-то теорию применять? Нельзя же проверить бесконечное количество всевозможных теорий и увидеть, что ни одна не подходит.

(12 Окт 3:28) logic

А можно брать бесконечный набор аксиом? Это я всё еще про первый пункт.

(6 Дек 8:52) logic

@logic: конечно, можно. "Теорией" считается любой набор формул -- даже приводящий к противоречию. Если конечность подразумевают, то ставят вопрос о конечной аксиоматизируемости.

(6 Дек 11:48) falcao
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×667

задан
5 Окт 6:33

показан
98 раз

обновлен
6 Дек 11:48

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru