Grandes cardinales
Un gran cardinal es un cardinal cuya existencia, al no poder ser probada a partir de los axiomas clásicos de la teoría de conjuntos, debe ser objeto de un nuevo axioma. Se trata entonces de un axioma del infinito más fuerte que aquel que nos garantiza la existencia de un ordinal límite y autoriza la construcción de la serie de los alephs. Un gran cardinal es un super-aleph.
Los más simples entre los grandes cardinales son los inaccesibles. Luego se llega mucho más "alto" con los cardinales de Mahlo, de Ramsey, medibles, inefables, compactos, super-compactos o enormes.
Ninguno de esos grandes cardinales fuerza la decisión en cuanto al valor exacto de p(α) para α infinito. No bloquean el errar del exceso.
(El ser y el acontecimiento: diccionario final de la edición argentina en edit. manantial)
