Stellar cartographies has translated two different selections of course notes from Badiou’s lectures circa 1980-82 here and here. This translation is short, but extremely concise, so there’s a lot of material to absorb. In particular, the notes help to explain Godel’s achievement and his theorem and offers good insight into Badiou’s own mathematico-ontological project. Definitely check it out for a quick read on a slightly neglected aspect of this philosopher’s expanding corpus. Also be sure to check out his other posts on Deleuze/Meinong, Heidegger/Lucretius, and an extremely hilarious link to Simon Critchley’s musical side project.