Completeness of finite first order theories

Join the discussion
Registration is free. Start your own thread to ask a follow-up.
Sign up Log in
2 replies · 2K views
Dragonfall
Messages
1,023
Reaction score
5
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.
 
Physics news on Phys.org

Discussion

Nevermind. Robinson arithmetic is a counterexample.
 
The empty theory over a non-empty language is the trivial counter-example.
 

Similar threads

Graduate Second order logic and completeness
  • jordi
  • · Replies 11 ·
  • Set Theory, Logic, Probability, Statistics
Replies
11
Graduate On soundness and completeness of ZFC set theory
  • schniefen
  • · Replies 6 ·
  • Set Theory, Logic, Probability, Statistics
Replies
6
Graduate First order logic and set theory: who comes first?
  • jordi
  • · Replies 2 ·
  • Set Theory, Logic, Probability, Statistics
Replies
2
Undergrad About the undecidability of first-order-logic
  • olgerm
  • · Replies 26 ·
  • Set Theory, Logic, Probability, Statistics
Replies
26
Graduate Can the membership relation be defined in first-order logic?
  • jordi
  • · Replies 14 ·
  • Set Theory, Logic, Probability, Statistics
Replies
14
Graduate Are formal systems of first order logic incomplete?
  • T S Bailey
  • · Replies 14 ·
  • Set Theory, Logic, Probability, Statistics
Replies
14
Undergrad Simplest independent first-order expression in PA
  • ad infinitum
  • · Replies 1 ·
  • Set Theory, Logic, Probability, Statistics
Replies
1
First-order formula that requires an infinite domain
  • pooj4
  • · Replies 2 ·
  • Set Theory, Logic, Probability, Statistics
Replies
2
Graduate Why Can't First Order Logic Theories Demonstrate with Infinite Steps?
  • Garrulo
  • · Replies 11 ·
  • Set Theory, Logic, Probability, Statistics
Replies
11
Graduate Why finite fields and groups aren't axiomatizable in first order logic
  • Jerbearrrrrr
  • · Replies 5 ·
  • Set Theory, Logic, Probability, Statistics
Replies
5