¿Qué es?
Una secuencia de generación de la fórmula X es una lista ordenada y finita de fórmulas que inicia partiendo de una secuencia vacía y se construye añadiendo, una a una, nuevas fórmulas. Cada fórmula que se añade o bien es una fórmula atómica (es decir, no deriva de fórmulas previas), o bien se obtiene en un único paso de generación a partir de una o varias fórmulas que ya aparecían en posiciones anteriores de la misma secuencia. De este modo, todas las fórmulas que van surgiendo se fundamentan en aquellas incluidas previamente, hasta culminar en la última fórmula de la secuencia, que es precisamente la fórmula XXX.