それから私は基礎論が厳密だとも思いませんし、そういった目的をもつ分野でもないと思います。
代トポをZFCから導出することが代トポの厳密性を保証するとも思えません。
そういった導出により納得できる人が一部いるというだけでしょう。