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.

1. ↑ Kőnigs Name wird korrekterweise mit Doppelakut geschrieben. In der Bezeichnung des nach ihm benannten Lemmas wird sein Name aber – wie auch sonst in der Fachliteratur üblich – mit einem Umlaut geschrieben.