Комменты особенно доставляют.
Нет - Гастрит тут хоть и сектант - но в лучшем виде - вот уж его я в нечтении учебника почти (Потому как вопрос про непротиворечивость AC все-таки из базовых фактов) упрекнуть не могу - потому и споры на другом на сам деле уровне.
А тут именно - "учебника не читал":
Вот я и люблю этот почти 100-летней давности результат, содержащийся в любом практически учебнике логики (теорему о счетной модели) за вызываемый им неиллюзорный баттхерт - потому как действительно всем на матане доказали про несчетность континуума - а поскольку логике в СССР/РФ нигде практически не учат от слова "совсем" - рассказать что это значит - не рассказали (Гастрита как раз учили - хоть и косо imho)
То есть я кстати с Гастритом согласен - сам по себе результат умеренно важный - но неподготовленым и обученным матану мозгам он шаблон разрывает. Ну что собственно в очреденой раз активно продемонстрировано.
За то и люблю - за звук разрываемых пуканов.
И за воспроизводимость этого результата.