An interesting temporalization of G？del's ontological proof

Recent theologies concerning God's death after Auschwitz are mathematically formalized through a suitable temporalization of G\"{o}del's Ontological Proof.