Le lemme de König est un résultat plutôt lugubre de la théorie des graphes, établi par le mathématicien hongrois Dénes König en 1927. Il énonce que « tout arbre infini à branchement fini possède une branche infinie — que l'on peut utiliser notamment pour se pendre ».
(Włodzisław Szczur, Mathématique du néant)
