The logic in gods existence