Questions tagged [first-order-logic]
For questions about formal deduction of first-order logic formula or metamathematical properties of first-order logic.
1
question with a bounty
3
votes
0
answers
97
views
+100
Proving a corollary of Trakhtenbrot theorem
In Sets, Logic, Computation, Trakhtenbrot's theorem is stated as follows:
Theorem 15.21 (Trakhtenbrot's Theorem). It is undecidable if an arbitrary sentence of first-order logic has a finite model (i....
- 525