>>509
>ZFCも無限階論理として解釈できる
>その場合の「階数」は到達不能順序数未満

自然数論すなわち有限集合論も無限階論理として解釈できる
その場合の階数はω未満