Open Access Library Journal

Vol.4 No.10(2017), Paper ID 79868, 6 pages

DOI:10.4236/oalib.1103969

 

A Proof of Syntactic Incompleteness of the Second-Order Categorical Arithmetic

 

Giuseppe Raguní

 

UCAM-Catholic University of Murcia, Murcia, Spain

 

Copyright © 2017 Giuseppe Raguní et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

 

How to Cite this Article

Raguní, G. (2017) A Proof of Syntactic Incompleteness of the Second-Order Categorical Arithmetic. Open Access Library Journal, 4, 1-6. doi: 10.4236/oalib.1103969.
Journals Menu
Follow SCIRP
Contact us
+1 323-425-8868
customer@scirp.org
WhatsApp +86 18163351462(WhatsApp)
Click here to send a message to me 1655362766
Paper Publishing WeChat

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.