An additional axiom of arithmetic

Reply Sat 5 Mar, 2022 03:33 pm
Let P_1, P_2, … P_7 be the Peano axioms. What will happen if we add

P+: P1 & P2 & … P7 & ∃x(Prf(x, ⌜P⌝) → P

Here ⌜P⌝ means the Gödel number of P, and Prf(x,y) means that x is a proof o y, or rather that x is the Gödel number of a sequence that is a proof a sentence with Gödel number y.
It seems to me that the axiom is true. For if our derivation system is sound, and it derives P then it is the case that P.
  • Topic Stats
  • Top Replies
  • Link to this Topic
Type: Question • Score: 0 • Views: 754 • Replies: 0
No top replies


Related Topics

A2K challenge! - Discussion by HexHammer
Logic Proof Help - Question by crimhaze
Derivations vs. symbolisation? - Question by collegestudent123
Logic word problem - Question by johnr
Cause of death..... - Discussion by gungasnake
Need help in defining - Question by ichishti
Predicate Logic Help - Question by splenax
  1. Forums
  2. » An additional axiom of arithmetic
Copyright © 2024 MadLab, LLC :: Terms of Service :: Privacy Policy :: Page generated in 0.03 seconds on 02/21/2024 at 05:37:25