집합론, 수학적 귀납법 정도? 물론 재귀조차도 지양되는 편이라 귀납법도 거의 필요없을거같고