Невыразимый кардинал
-
Определение и свойства кардиналов
- Кардинал — это бесконечное кардинальное число, которое может быть представлено как мощность множества.
- Кардиналы могут быть классифицированы по их мощности, включая кардиналы, которые являются счетными, континуум-кардиналы и несчетные кардиналы.
- Несчетные кардиналы могут быть классифицированы по их сложности, включая кардиналы, которые являются простыми, почти простыми и тонкими.
-
Невыразимые кардиналы
- Невыразимый кардинал — это кардинал, который не может быть описан с помощью аксиомы выбора.
- Невыразимые кардиналы могут быть классифицированы по их сложности, включая 1-невыразимые, 2-невыразимые и совершенно невыразимые.
- Совершенно невыразимые кардиналы являются самыми сильными невыразимыми кардиналами и обладают свойством быть невыразимыми для каждого натурального числа.
-
Сила согласованности
- Сила согласованности кардиналов увеличивается с их сложностью, начиная с аксиомы выбора и заканчивая совершенно невыразимыми кардиналами.
- Невыразимые кардиналы обладают большей силой согласованности, чем кардиналы с 1-й итерацией, которые, в свою очередь, обладают большей силой согласованности, чем замечательные кардиналы.
-
Рекомендации и форматирование
- В статье приведены рекомендации по форматированию цитат и библиографических описаний.
- Статья также содержит информацию о различных цветовых схемах и стилях для HTML-кода.