This is fine for laying the foundations of set theory .
The more general topos seems to provide a superior foundation .
This is fine for laying the foundations of set theory , but the more general topos seems to provide a superior foundation .