Durante los años 1920, los matemáticos comenzaron a esbozar los principios combinatorios ligados al teorema de Brouwer (lema de Sperner, lema de Knaster–Kuratowski–Mazurkiewicz).