11/04/15 00:58:48.51
集合論をかなりやってから証明論に進む構成だから、
新井先生の専門とかから考えるなら、
再帰的Mahlo順序数とかを使うKP（ZFの断片）に対する順序数解析とかに
触れたりして現代の証明論を紹介したいのかな、とか思ってるんだけど。
PohlersのProof Theory: The First Step into Impredicativity（11章）とか
RathjenのThe art of ordinal analysis
www.icm2006.org/proceedings/Vol_II/contents/ICM_Vol_2_03.pdf
とかの後半（2.2. Set theories.以降）とか。
新井先生のURLﾘﾝｸ(arxiv.org)で言うなら4 Jäger以降の内容。
ちょっと希望的観測過ぎるか。