Single Idea 13539

[catalogued under 5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems]

Full Idea

The Löwenheim-Skolem-Tarski theorem demonstrates a serious limitation of first-order logic, and is one of primary reasons for considering stronger logics.

Gist of Idea

The LST Theorem is a serious limitation of first-order logic

Source

Robert S. Wolf (A Tour through Mathematical Logic [2005], 5.7)

Book Reference

Wolf,Robert S.: 'A Tour Through Mathematical Logic' [Carus Maths Monographs 2005], p.224