paperIs mathematics consistent?arXiv:math/0306007AbstractA question is proposed whether or not set theory is consistent.8 pages, LaTeXCited by in corpus (2)Does Church-Kleene ordinal ω1CK exist?An implication of Gödel's incompleteness theorem