I'm not sure about that to be honest. I need to revisit an unfinished piece on Derrida. I think you're wrong about Badiou though. He is if nothing else resolutely committed to a mathematical analysis of the non-determinism inherent in the unfoldiing of thought via independence/forcing.
