(El prefacio y el libro I no los incluimos por ahora, ya que, si bien el prefacio sí es necesario para adquirir cierto regusto de por dónde va Badiou, el Libro I no es necesario para el desarrollo de lo que el mismo Badiou llama: "Gran Lógica".)

Libro II: Gran Lógica 1: el trascendental.
Enunciados:
E. 12: El Todo no tiene ser, esto es, el concepto de universo es inconsistente.
E. 13: Ningún múltiple -excepto el vacío- puede ser pensado en la singularidad de su ser sin recurrir al ser de al menos otro múltiple ya pensado.
E. 14: Un múltiple sólo es pensable en la singularidad de su aparición en tanto que se inscribe en un mundo.
E. 15: Pensar un múltiple en tanto que se inscribe en un mundo, esto es, pensar el ser-ahí de un múltiple, supone que sea puesta al día una lógica del aparecer que no sea idéntica a la ontología (matemática) del múltiple puro.
E. 16: Una lógica del aparecer, y por tanto la lógica de un mundo, corresponde a una escala unificada de medida (intrínseca, sin sujeto) de las identidades y las diferencias, y de las operaciones que dependen de esta medida. Se trata necesariamente de una estructura de orden, que da sentido a expresiones como "más o menos idéntico", y, más en general, a las comparaciones de intensidad. Nombramos este orden, y las operaciones que se le asocian, el trascendental de una situación (o de un mundo). El trascendental se designa por "T", y el orden que estructura a T se denota con el símbolo acostumbrado "≤". Para un múltiple, "aparecer" quiere decir: ser percibido en la lógica de un mundo, por tanto indexado al trascendental de dicho mundo.
E. 17:
E. 18:
E. 19:
E. 20:
E. 21:
E. 22:
E. 23:
E. 24:
E. 25:
E. 27:
(Libro III ...)

Listado de entradas terminadas del índice de conceptos del "lógicas":

mundo
ser ahí
lógica
aparecer
ontología
cardinal inaccesible
trascendental
cerrado

Sin terminar
lógica atómica
objeto


Observaciones -imprudentes- a los enunciados:

El E. 13 podríamos titularlo el "principio esferas" en el contexto de esta web.