Несколько утверждений носят фамилию Кёниг (все — различных учёных):
Теорема Хелли — классический результат комбинаторной геометрии и выпуклого анализа. Теорема даёт условие на семейство выпуклых множеств, гарантирующее то, что это семейство имеет непустое пересечение.
Тео́рия гра́фов — раздел дискретной математики, изучающий графы, одна из ветвей топологии. В самом общем смысле граф — это множество точек, которые соединяются множеством линий. Теория графов включена в учебные программы для начинающих математиков, поскольку:
В теории графов теорема Кёнига , доказанная Денешем Кёнигом в 1931, утверждает эквивалентность задач нахождения наибольшего паросочетания и наименьшего вершинного покрытия в двудольных графах. Независимо была открыта, в том же 1931, Йенё Эгервари в несколько более общем виде для случая взвешенных графов.
Теорема Гёделя может означать одну из следующих теорем, доказанных Куртом Гёделем:
Франц Кёниг:
Кёниг — фамилия немецкого происхождения.
Кениг — фамилия.
Фридрих Кёниг:
Теорема Цермело — теорема теории множеств, утверждающая, что на всяком множестве можно ввести такое отношение порядка, что множество будет вполне упорядоченным. Одна из важнейших теорем в теории множеств. Названа в честь немецкого математика Эрнста Цермело. Теорема Цермело эквивалентна аксиоме выбора, а следовательно, и лемме Цорна.
Теорема о свадьбах — утверждение о том, что в двудольном графе для любого натурального 
Теорема Дилуорса — комбинаторное утверждение, характеризующее экстремальное свойство для частично упорядоченных множеств: конечное частично упорядоченное множество 
Эрнст Штайниц — немецкий математик.
Денеш Кёниг — венгерский математик еврейского происхождения, написавший первую книгу по теории графов.
Са́лми — фамилия и топоним.
Кёниг, Иога́нн Самуэ́ль — швейцарский математик и механик. Член-корреспондент Парижской АН (1740), член Берлинской АН (1749), Лондонского Королевского общества (1750), Гёттингенской АН.
В теории графов совершенным графом называется граф, в котором хроматическое число любого порождённого подграфа равно размеру максимальной клики этого подграфа. Благодаря строгой теореме о совершенных графах, с 2002 года известно, что совершенные графы — это то же самое, что и графы Бержа. Граф G является графом Бержа если ни G, ни его дополнение не имеет порождённых циклов нечётной длины.
Леопольд Кёниг:
Энгельберт Кёниг:
Лемма Кёнига о бесконечном пути — теорема, которая даёт достаточное условие на существование бесконечного пути в графе. Эта теорема играет важную роль как пример в конструктивной математике и теории доказательств.
Иоганн Кёниг: