A system of finitary arithmetic is introduced, and a proof for its consistency is proposed. It is shown that the proof of the consistency of finitary arithmetic, formalized in Peano arithmetic, implies the consistency of Peano arithmetic. Due to the results of the article, Peano arithmetic should be suspected of being inconsistent.
References
[1]
Kleene, S.C. (1952) Introduction to Metamathematics. American Elsevier Publishing Company, Inc.
[2]
Kolmogorov, A.N. and Dragalin, A.G. (2004) Mathematical Logic. URSS. (In Russian)
[3]
Boolos, G.S., Burgess, J.P. and Jeffrey, R.C. (2006) Computability and Logic. Cambridge University Press. https://doi.org/10.1017/cbo9780511804076
[4]
Girard, J.-Y. (1987) Proof Theory and Logical Complexity. Bibliopolis.
[5]
Davis, D. (2005) Wither Mathematics? Notices of the AMS, 52, 1350-1356.
[6]
Volin, Y.M. (2023) About the Strange Tree Paradox and Possible Inconsistency of Set Theory. Advances in Pure Mathematics, 13, 694-713. https://doi.org/10.4236/apm.2023.1310048
[7]
Volin, Y.M. (2024) On the Proof of the Contradiction of Set Theory. Advances in Pure Mathematics, 14, 139-159. https://doi.org/10.4236/apm.2024.143007
[8]
Volin, Y.M. (2024) Completion of the Proof of the Contradiction of Set Theory. Advances in Pure Mathematics, 14, 807-816. https://doi.org/10.4236/apm.2024.1411045
[9]
Volin, Y.M. (2015) On Normal Inference in Arithmetic and the Problem of Consistency. Actual Problems of Contemporary Science, No. 3, pp. 181-2009; No. 6, 146-159. (In Russian)
[10]
Prawitz, D. (2006) Natural Deduction. Dover Publications, Inc.
[11]
Hao, V. and McNaughton, R. (1953) Les systemes axiomatiquies de la theorie des ensembles. Gauthler-Villars.
