数学基礎論若手の会2018発表スライド

数学基礎論若手の会2018@沖縄での発表スライドを上げます。

「反復強制法で何かしたい！そうだ強制法公理の無矛盾性証明をやろう！」みたいな内容です。伝えたいのは反復強制法の議論だったので、強制法の一般論は断りなく用いられています。

ちょこっと個人情報を弄った以外に特に加筆・修正などはしていません。