Axiomatization of Crisp Gödel Modal Logic