A pesar de que el teorema del mono infinito es a menudo expresado de manera informal, un enunciado formal del mismo esclarecería su significado exacto.