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

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