Concept

Compactness theorem

Overview

theorem

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Philosophers who discussed Compactness theorem

• Saul Kripke

Related ideas

• Finite set
• Gödel's completeness theorem
• Effective method
• Kurt Gödel
• Propositional logic
• Mathematical logic
• Model theory
• Sentence (mathematical logic)
• Intersection (set theory)
• Peano axioms
• Set (mathematics)
• Subset
• Topological space
• Löwenheim–Skolem theorem
• Complex number
• Cardinal number
• Cardinality
• Consistency
• Mathematical proof
• Axiom of choice
• Empty set
• Satisfiability

Opposing perspectives

• Elementary class

Place in the tradition

Part of First-order logic.

Explore Compactness theorem in the interactive graph →