最近TaPLを読んでいるのだけれど、いかんせん構造的帰納法に不慣れなもので、導出に関する帰納法による証明を読んだり書いたりしているうちに 自分が何をしているのか 何を示すことで命題を証明しようとしているのか そもそも項に関する帰納法と導出に関する…