>>98
CoCの証明論的強さの順序数って何になるの?