Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Completeness of finite first order theories

  1. Mar 24, 2009 #1
    Is every first order theory with finitely many axioms automatically complete? An axiom schema like that of ZFC's separation counts as an infinite number of axioms.
  2. jcsd
  3. Mar 24, 2009 #2
    Nevermind. Robinson arithmetic is a counterexample.
  4. Mar 25, 2009 #3
    The empty theory over a non-empty language is the trivial counter-example.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook