Member since March 5, 2022

Newberry

My Profile
Newberry
  • Answered Questions: 0
  • Posts: 1
  • Location:
  • Occupation:
No Profile
Following
User has not yet added friends.
Followers
User does not yet have followers.
My Tags
Logic, Arithmetic, Peano, Axiom
My Recent Posts
 
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... (view)
 
  1. Forums
  2. » Newberry
Copyright © 2024 MadLab, LLC :: Terms of Service :: Privacy Policy :: Page generated in 0.02 seconds on 04/19/2024 at 11:52:37
▲ ▼