Lemma von König

Das Lemma von König oder Königs Unendlichkeitslemma (englisch König’s infinity lemma) ist ein mathematischer Lehrsatz, welcher sowohl dem Gebiet der Ramseytheorie als auch dem der Graphentheorie zuzurechnen ist. Das Lemma geht auf den ungarischen Mathematiker Dénes Kőnig und dessen klassische Monographie Theorie der endlichen und unendlichen Graphen von 1936 zurück. Es spielt nicht zuletzt in der Berechenbarkeitstheorie eine wichtige Rolle und wurde daher auch in der Mathematischen Logik erforscht.