Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I often read that arithmetic in first order logic has problems and you really want to do it in second order logic.

However, aren't the Zermelo–Fraenkel axioms written down in the language of first order logic?

share|improve this question
2  
Yes, but most mathematicians don't check to see if what they're doing can be formalized in ZF. –  Qiaochu Yuan Jun 28 '12 at 21:04
    
@NickKidman: What some might call problems of first-order logic, I prefer to call features, indeed useful features. –  André Nicolas Jun 28 '12 at 21:11
    
@Andre: Did you pioneer the known hi-tech slogan "it's not a bug, it's a feature!"? :-) –  Asaf Karagila Jun 28 '12 at 21:13
2  
@AsafKaragila: Why pioneer when you can steal? –  André Nicolas Jun 28 '12 at 21:14

1 Answer 1

up vote 7 down vote accepted

Note that ZFC is a theory strong enough to prove second-order arithmetics. So if you agree to take ZFC as your foundational point, taking second-order PA for arithmetic should not pose any problems.

This is one of the reasons set theory is a good foundational basis for mathematics, since it allows second-order (and higher) to work via first-order formulas in the universe of set theory.


Further reading:

  1. First-order logic advantage over second-order logic?
  2. what is the relationship between ZFC and first-order logic?
  3. First-Order Logic vs. Second-Order Logic
share|improve this answer
    
Thanks, interesting reads. I find the "second order theory worked out in first order theory" still to be mysterious however. Is seems that the only thing one really loses by considering the first order alternative is determination of interpretation or something like that. Then I find it hard to see why one would be able to say "we know the statement in this theory - so we know it in the other": Identifying two statements in two different theories (which differ in a way) with each other sounds fishy to me. Might be a philosophical thing though. –  NikolajK Jun 28 '12 at 21:55

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.