Formula

Relative

Wellorderings

WFrec

WF_absolute

Datatype_absolute

Normal

Reflection

MetaExists

L_axioms

Separation

Internalize

Rec_Separation

Satisfies_absolute

DPow_absolute

AC_in_L

Rank

Rank_Separation