Ciencia del ser en tanto ser. Por tanto, ciencia de las multiplicidades en tanto que multiplicidades puras, o múltiples "sin Uno". Esta ciencia, que es indiferente a toda localización de los múltiples, por tanto a su aparecer o ser-ahí, es históricamente idéntica a la matemática. Se distingue por tanto de la lógica fundamental o "Gran Lógica", que es el pensamiento del aparecer como tal, o ciencia del ser-ahí. Si el concepto fundamental de la ontología es el múltiple (matemática conjuntista), los conceptos fundamentales de la lógica son el mundo (lógica de los mundos) y el objeto (lógica atómica).
Llamamos mundo a un conjunto ontológicamente cerrado (por tanto medido por un cardinal inaccesible) que contiene un régimen trascendental, "un trascendental", T, y las indexaciones trascendentales de todos los múltiples sobre dicho trascendental. Se puede decir por tanto que un mundo es el lugar de aparición de los objetos. O también que "mundo" designa una de las lógicas del aparecer.
