König's lemma, the ω-Rule and primitive recursive arithmetic | Publicación