別に集合論でなくてもかまわんよ
要は、【定義】 f'(z)＝df(z)/dz に現れる記法の定義は？と訊いてるんだ
ひょっとして、無定義の代数式なのかな
いよいよ17世紀レベル未満の、いきあたりばったりな定義になってしまうが…