Derrida, Badiou and the Formal Imperative