Информация об изменениях

Сообщение Re[4]: Теории отрицания от 18.11.2022 12:10

Изменено 18.11.2022 15:04 Вук

Re[4]: Теории отрицания
Vi2>>Например, отсутствие делителей нуля в определённой алгебраической структуре.
_>Вот математику не надо было приплетать. Она — не реальность, а инструмент описания моделей реальности.

В рамках терминов теории моделей, можно трансфинитно-индукционно покрыть полно и непротиворечиво бесконечность с точностью до ординала ε0.
Это доказано в рамках теории моделей.
Re[4]: Теории отрицания
Vi2>>Например, отсутствие делителей нуля в определённой алгебраической структуре.
_>Вот математику не надо было приплетать. Она — не реальность, а инструмент описания моделей реальности.

В рамках терминов теории моделей, можно трансфинитно-индукционно покрыть полно и непротиворечиво бесконечность с точностью до ординала ε0.
Это доказано в рамках теории моделей, если принять доказательство Генцина.