Article citationsMore>>

Boolos, G.S., Burgess, J.P. and Jeffrey, R.C. (2006) Computability and Logic. Cambridge University Press.
https://doi.org/10.1017/cbo9780511804076

has been cited by the following article:

• TITLE: On the Question of Consistency of Arithmetic

  AUTHORS: Yury M. Volin

  KEYWORDS: Inconsistency and Consistency, Peano Arithmetic, Natural Deduction of Prawitz, Normalization of Natural Deduction, Language, Minimal Arithmetic, Finitary Arithmetic

  JOURNAL NAME: Advances in Pure Mathematics, Vol.16 No.1, January 23, 2026

  ABSTRACT: 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.