Compactness theorem

Property	Value
rdf:type	Mathematical logic topic owl:NamedIndividual Theorem in the foundations of mathematics Boolean algebra topic Metatheorem Mathematical proof
rdfs:label	Compactness theorem
owl:sameAs	dbr:Compactness_theorem
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Theorems_in_the_foundations_of_mathematics http://en.wikipedia.org/wiki/Nonfirstorderizability http://en.wikipedia.org/wiki/Theorem http://en.wikipedia.org/wiki/Theory_(mathematical_logic) http://en.wikipedia.org/wiki/Index_of_philosophy_articles_(A%E2%80%93C) http://en.wikipedia.org/wiki/List_of_theorems http://en.wikipedia.org/wiki/List_of_mathematical_logic_topics http://en.wikipedia.org/wiki/Axiom_of_choice http://en.wikipedia.org/wiki/Category:Metatheorems http://en.wikipedia.org/wiki/List_of_mathematical_proofs http://en.wikipedia.org/wiki/List_of_Boolean_algebra_topics
skos:prefLabel	Compactness theorem
skos:altLabel	compact countable compactness (countable) compactness property Compactness of first-order logic compactness compactness argument compactness theorem incompactness logical compactness
is clgo:knownFor of	Kurt Gödel

About: clgr:Compactness_theorem