Johnny Kong
New member
question 2: what is comprehension axiom?
question 3: what's the difference between first order logic and first order arithmetic?
question 3: what's the difference between first order logic and first order arithmetic?