Badiou and the ontological limits of mathematics