Can God be proved mathematically?