公理系の強さが順序数で表されるというのは興味深い。
深く勉強してみたいものだ。