This isn't quite right. Mathematics is very much on the side of truth rather than knowledge for Badiou, in fact the great achievements of mathematics (eg Galois, Cantor, Godel) are almost paradigmatic examples of evental truths.
Also, mathematics for Badiou is ontology, it directly articulates...