Admissible ordinal (source code)

= Admissible ordinal
{wiki=Admissible_ordinal}

In the context of set theory and logic, an **admissible ordinal** refers to a certain kind of ordinal that is used to define and study the properties of *admissible sets* and *admissible theories* in the framework of *admissible infinitary logic*.