User blog comment:Scorcher007/Large countable ordinal notation up to Z2 and ZFC/@comment-35470197-20181121071653/@comment-31580368-20181124042114

As I understand you found a conflict in this: > If S[σ](ε0) coincides with ε0-th admissible as you wrote, then it should be recursively inaccessible by definition. Can you explain to me why ε0-th admissible is recursively inaccessible?