Cardinal accessible et inaccessible

[ Definition ]
Un cardinal \(E\) est dit inaccessible s’il est plus grand que \({\omega}\), si pour tout \(F\) cardinal \(<E\) on a \(2^F < E\), et si toute famille de cardinaux \(<E\), indexée par une famille de cardinal \(<E\), a un \(sup\) plus petit que \(E\).

Un cardinal est dit accessible s’il n’est pas inaccessible.

L’axiome d’accessibilité affirme que tout cardinal est accessible.
En savoir plus