Compactness: In logic, compactness refers to a property of a logical system or theory where if every finite subset has a model (satisfaction), then the entire theory has a model. It's a fundamental concept in mathematical logic. See also Satisfaction, Models, Model theory._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. |