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

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.