recursiveでない最小の順序数はω_1^CKという(Church-Kleene順序数)