Abstract
Con este artículo pretendemos esbozar los fundamentos onto-lógicos esenciales de la propuesta metafísica de Alain Badiou; así como identificar los nexos dialécticos imprescindibles para la elaboración de lo que podemos considerar una metafísica contemporánea de lo múltiple infinito –frente a las clásicas metafísicas dogmáticas de lo Uno y las filosofías de la finitud– que incorpora de un modo dialécticamente inclusivo la matemática de la teoría de conjuntos, en _L’être et l’événement_, y la lógica matematizada de la teoría de categorías, en _Logiques des mondes_. Sin adentrarnos en los pormenores de los conceptos vehiculares necesarios para pensar los procedimientos de verdad de la propuesta de Badiou, veremos cómo las relaciones dialécticas que se establecen a nivel onto-lógico en el interior de esta nueva metafísica concentran toda la historicidad del pensamiento de las correlaciones clásicas ser/aparecer, o ser/ser-ahí, univocidad/equivocidad, objeto/relación, extrínseco/intrínseco, lógica binaria/lógica trascendental y matemática/lógica en el pensamiento filosófico de la relación dialéctica contemporánea entre la teoría de conjuntos y la teoría de categorías.