• G is inconsistent if G ` false
•Otherwise it is called consistent
•
• G has a model if
there exists A s.t. A ² G
•Theorem (Godel’s extended theorem) G is consistent iff it has a model
•
•This formulation is
equivalent to the previous one [why ? Note:
when proving it we need certain properties of `]