2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему На страницу Пред.  1, 2
 
 Re: Конечность по Дедекинду
Сообщение06.08.2017, 10:22 
Заслуженный участник
Аватара пользователя


23/07/05
17973
Москва
Z1X в сообщении #1238490 писал(а):
Если я правильно понял, дедекиндовость будет внутренним свойством модели. А метатеория, используемая для построения модели, с этим может быть никак не связана.
Совершенно верно.

Z1X в сообщении #1238490 писал(а):
Более того, если в роли метатеории тоже используется ZF, и в ней удалось доказать про некоторые множества, что они конечны по Дедекинду и бесконечны одновременно, то ZFC будет противоречива.
Этого я не понял. О каких именно множествах идёт речь? Если о метамножествах — то да. При этом противоречивой будет и ZFC, и ZF. Если же речь идёт о множествах предметной теории (той самой, для которой строится модель), пусть даже она тоже ZF, то никакого противоречия не будет. Это же другая теория.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 16 ]  На страницу Пред.  1, 2

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group