Badiou tiene algunas formación en matemáticas; la lectura de ida y vuelta entre las secciones pertinentes de Goldblatt del Topoi y de Badiou cuenta de Ω-establece en Lógicas de los Mundos, por ejemplo, se puede ver que el uno sigue al otro cerca. No sólo los ciegos de comillas, seguido por la mano ondulado inferencia-dibujo: usted podría aprender Ω-conjuntos de Badiou presentación de ellos solos, y no ser demasiado terriblemente sorprendido o confundido cuando se llegó a leer la presentación técnica en Goldblatt (este fue, de hecho, el orden en que yo lo hice).
En el axioma de elección y la "infinita libertad":
El AoC dice que, dado un conjunto {A, B, C,...} ninguno de cuyos miembros son el conjunto vacío, existe un conjunto {x - a, y - B, z - C...} que toma un elemento de cada uno de los primeros miembros. El punto aquí es que la alianza de civilizaciones "libremente" elige un elemento de cada conjunto en lugar de (por ejemplo) la identificación de un "menos" elemento y elegir que: incluso cuando no hay ninguna regla que se puede decir que el elemento debe ser elegido, el AoC dice que existe un conjunto que representa a algunos de elección.
El AoC sólo tiene trabajo que hacer en situaciones donde no puede encontrarse una regla (por ejemplo, nadie sabe de una regla que bien-el fin de los reales, pero la ac implica que un real puede ser elegido, a continuación, otro de los restantes reales, luego otro etc. - así que "axiomáticamente" un buen orden de los reales existe, siempre y cuando uno acepta AoC) - por lo que representa, en este sentido, la posibilidad de un predicatively indeterminado elección. Esa es la "infinita libertad" él se acerca. No hay ningún afirmó que la alianza de civilizaciones "prueba" de que la libertad existe, sino que la introducción de la ac en ZF hace una libertad pensable dentro de los confines de su axiomática del sistema (esto está en línea con el de Badiou programa general de tratamiento de las matemáticas como "ontología", como un medio para que de manera sistemática la demarcación de lo que es pensable de "el ser como tal").
En términos de "interés para los matemáticos": Badiou principios de texto El Concepto de Modelo es una buena filosófica introducción al modelo de la teoría, y su Número y Números es una interesante y accesible guía de la filosofía de número, cubriendo Frege, Peano, Cantor, Dedekind y Conway (surrealista números).