無矛盾性の強さを順序数で測るという考えに基づいて
レスができると言うことは、その方面の専門家かな。
第一人者が新井敏康さんだったと思うけど。
集合論の無矛盾性証明の研究が、どの程度進んでいるのか、気になる。