Теория внутренних множеств
- Внутренняя теория множеств (IST) — аксиоматическая система, основанная на нестандартном анализе.
- IST предлагает альтернативу стандартной теории множеств, основанной на действительных числах.
- IST включает дополнительные аксиомы, которые не приводят к ошибкам или непоследовательности в рассуждениях.
- Обоснование аксиом IST аналогично обоснованию непротиворечивости аксиом эллиптической неевклидовой геометрии.
- Связанные теории были разработаны Карелом Хрбачеком и другими учеными.
Полный текст статьи: