>>「集合と作用」が、もっとほかのより柔軟な数学的対象で置き換わるべきといった方法論

難しい