Comment by ysofunny

alternative take: everything is just sets

both can be a foundation for mathematics, and hence, a foundation for everything

what's interesting is how each choice affects what logic even means?