2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/67998A question is proposed if a nonrecursive ordinal, the so-called Church-Kleene ordinal $ω_1^{CK}$ really exists.4 pages, LaTeXGeneral Mathematicstext