i'm reading alain badiou's logic of worlds and having fun with it. badiou loves to declare in axiomatic terms most of what he says. i stop at a ponderous title on page 306:
EVERY WORLD IS INFINITE, AND ITS TYPE OF INFINITY IS INACCESSIBLE
how can you access inaccessibility?
keep you posted. ;)