🌐EnglishEnglishDeutschEspañolFrançaisNederlandsPortuguês한국어中文日本語EntityQ1077462· pop 10· linked from 15 articlesKönig's theoremtheoremConnectionssemantic theory of truthEntitymathematical logicEntityCategoriesAxiom of choiceCardinal numbersMathematical logicTheorems in the foundations of mathematics