Elements

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: Elements

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