>>712
>1さんのスレでは基礎論に傾倒している方が多いように思えるが、私はどうも興味が湧かない
基礎論に基礎付けされない数学は砂上の楼閣。それどころか重要な発見が基礎論からもたらされることもある。IUTが今やってるLean検証も基礎論の一分野である証明論の応用
ま、何に興味持つかはまったく自由だから押し付ける気なんてサラサラ無いけど