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,[1] demostrado por Oswald Veblen en 1908.
El lema de punto fijo afirma que la clase de los puntos fijos de cualquier función normal es no-vacía, de hecho es un conjunto no acotado, dado cualquier ordinal α, existe un ordinal β tal que β ≥ α y f(β) = β.
Por tanto el lema del punto fijo es equivalente a la afirmación de que los puntos fijos de una función normal forman una clase cerrada y no acotada.
Dado esos resultados, se define por recursión una secuencia creciente <αn> (n < ω) escogiendo α0 = α, y αn+1 = f(αn) para n ∈ ω.
Más aún, puesto que f conmuta con el operador de supremo: Esta última igualdad se suge del hecho de que la secuencia <αn> es creciente.