A Proof of Syntactic Incompleteness of the Second-Order Categorical Arithmetic | Publicación