Ever thought about a religion that's mathematically provable? It already exists - Bitcoin.