Inconsistency of Primitive Recursive Arithmetic

Publication date 30 September 2015

Philosophical aspects of logic and foundations (03A99) Proof theory in general (including proof-theoretic semantics) (03F03) First-order arithmetic and fragments (03F30)

Abstract: The aim of this work is to show that contemporary mathematics, including Peano arithmetic, is inconsistent, to construct firm foundations for mathematics, and to begin building on these foundations.

This page was built for publication: Inconsistency of Primitive Recursive Arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6265962)