Sin embargo, es posible construir una expresión análoga con lenguaje matemático formal, como ha hecho Gregory Chaitin.