Member since March 5, 2022
- Answered Questions: 0
- Posts: 1
User has not yet added friends.
User does not yet have followers.
My Recent Posts
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...