4
Completeness Fails
•
“
f
has a finite model” is r.e.
[why]
•
Trachtenbrot’s theorem: “
f
has a finite
model” is undecidable
•
•
Hence there is no proof system
`
s.t.
`
f
iff
²
fin
f
[why ?]