On the Consistency of the Arithmetic System
T. J. St\k{e}pie\'n, {\L}. T. St\k{e}pie\'n
TL;DR
This paper proves the traditional consistency of the Arithmetic System using a proof constructed within the system itself.
Contribution
It provides a proof of the Arithmetic System's consistency from within the system, which is a significant theoretical result.
Findings
Arithmetic System is consistent in the traditional sense
Proof is constructed within the system itself
Supports foundational understanding of arithmetic
Abstract
In this paper we establish that the well-known Arithmetic System is consistent in the traditional sense. The proof is done within this Arithmetic System.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.