The story
Named after the mathematicians Nicolaas Govert de Bruijn and Paul Erdős.
Etymology from Wiktionary, CC BY-SA 4.0.
de Bruijn-Erdős theorem
Today it means: A theorem stating that, when all finite subgraphs of an infinite graph can be colored using c colors, the same is true for the parent graph. Full definition →