集合論とε-δ論法の知識を前提としていますが、やってる事は遠近の区別だけです。過去作品→ mylist/17343796
http://www.nicovideo.jp/watch/sm19699775