Mathematics is formally consistent theology. Theology is sloppy mathematics.