Jump to content

Lukasz

New Members
  • Posts

    1
  • Joined

  • Last visited

Everything posted by Lukasz

  1. As I know, such theorem independent on Peano's axioms, is Goodstein Theorem. On the other hand, there in the paper: T. J. Stępień, Ł. T. Stępień, "On the Consistency of the Arithmetic System", J. Math. Syst. Sci. 7, No.2, 43-55 (2017); arXiv:1803.11072 , a proof of consistency of Arithmetic System was published. This proof had been done within this Arithmetic System. Łukasz
×
×
  • Create New...

Important Information

We have placed cookies on your device to help make this website better. You can adjust your cookie settings, otherwise we'll assume you're okay to continue.