compactness theorem

Show Summary Details

Quick Reference

Theorem in first-order logic stating that if every finite subset of an infinite theory T has a model, then the theory as a whole has a model. The result follows from the completeness theorem for first-order logic.

Subjects: Philosophy.

Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.