Un modelo formal correspondiente utiliza el conjunto ℕ ∪ { d i : 0 ≤ i < 90 }, donde cada d i es una nueva constante. Uno define 0 y la función sucesora s en ℕ como de costumbre, y s (d i ) = d i +1 para 0 ≤ i < 89, y s (d 89 ) = d 0 .
La primera pieza de madera clara corresponde al número 0 del modelo. Si es derribado, cada pieza de madera ligera eventualmente caerá debido al efecto dominó.
