El lema del punto fijo para funciones normales o teorema del punto fijo de Veblen es un teorema básico de la teoría axiomática de conjuntos que afirma cualquier función normal tiene una cantidad arbitrariamente grande puntos fijos, demostrado por Oswald Veblen en 1908.