0

# An additional axiom of arithmetic

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
Type: Question • Score: 0 • Views: 616 • Replies: 0
No top replies

### Related Topics

A2K challenge! - Discussion by HexHammer
Logic Proof Help - Question by crimhaze
THE TEN COMMANDMENTS OF LOGIC - Discussion by Ragman
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