http://caligraph.org/ontology/Theorem_in_the_foundations_of_mathematics

CaLiGraph

Property	Value
rdf:type	owl:Class
rdfs:label	Theorem in the foundations of mathematics
rdfs:subClassOf	Mathematical theorem
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Theorems_in_the_foundations_of_mathematics
is rdf:type of	Extension by new constant and function names Gödel's speed-up theorem Paris–Harrington theorem Easton's theorem Knaster–Tarski theorem Lusin's separation theorem Deduction theorem Herbrand's theorem Richardson's theorem Cantor's diagonal argument Szpilrajn extension theorem Frege's theorem Completeness of atomic initial sequents Bourbaki–Witt theorem Beth definability Löwenheim–Skolem theorem Barwise compactness theorem Borel determinacy theorem Löb's theorem Tarski's high school algebra problem Wilkie's theorem Compression theorem Schröder–Bernstein theorem for measurable spaces Categorical theory Gödel's incompleteness theorems Cut-elimination theorem Church–Rosser theorem Halpern–Läuchli theorem Rice–Shapiro theorem Kleene's recursion theorem Tarski's undefinability theorem The Tarski's theorem about choice Kanamori–McAloon theorem Rice's theorem Craig's theorem Codd's theorem Cantor's theorem Banach–Tarski paradox Compactness theorem Lindström's theorem Schröder–Bernstein theorem Gödel's completeness theorem Post's theorem Łoś–Vaught test Goodstein's theorem Von Neumann paradox Tennenbaum's theorem Well-ordering theorem Robinson's joint consistency theorem Ultraproduct König's theorem (set theory)

About: clgo:Theorem_in_the_foundations_of_mathematics