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