天下りに示され導入が図られるより発見的ヒューリスティックな導入の方が初学者や他分野に親切だろ
ブルバキ的なのマンセーするならグロタン並みに極北まで徹底しろよ
リーマンロッホグロタンディークの族の指数定理並みにな