Способы доказательства независимости аксиом

@~~ohidano~~ · 17.12.2016, 01:13. **Показов** 739. **Ответов** 1

Студворк — интернет-сервис помощи студентам

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

@Mysterious Light · 17.12.2016, 17:51

Сообщение от ohidano

Знаю только один способ, когда аксиома заменяется на противоположную и проверяется непротиворечивость полученной теории.
Нужна ещё парочка способов.

AFAIK, это единственный способ: для доказательства независимость двух аксиом A и B построить две модели так, чтобы в первой выполнялось A и не выполняется B, а во второй наоборот.

@~~ohidano~~ Заблокирован
		1
	Способы доказательства независимости аксиом 17.12.2016, 01:13. Показов 739. Ответов 1 Метки нет (Все метки) Подскажите, пожалуйста, какие есть способы доказательства независимости аксиом? Знаю только один способ, когда аксиома заменяется на противоположную и проверяется непротиворечивость полученной теории. Нужна ещё парочка способов. 0

@Mysterious Light $Эксперт по математике/физике$ 4168 / 2070 / 425 Регистрация: 19.07.2009 Сообщений: 3,136 Записей в блоге: 24
	17.12.2016, 17:51	2
	Сообщение от ohidano Знаю только один способ, когда аксиома заменяется на противоположную и проверяется непротиворечивость полученной теории. Нужна ещё парочка способов. AFAIK, это единственный способ: для доказательства независимость двух аксиом A и B построить две модели так, чтобы в первой выполнялось A и не выполняется B, а во второй наоборот. 1

Опции темы