>>453
二階算術では弱い完全性と強い完全性の強さの違いはどう評価されるのでしょうか?