Theology of Arithmetic