Is there a mitzvah to believe in Hashem?

by