You grokked it. Imagine standing on a vast desert. You have, floating above you, the HYPERCUBE. You could choose to climb up into the HYPERCUBE, but it has no

You grokked it. Imagine standing on a vast desert. You have, floating above you, the HYPERCUBE. You could choose to climb up into the HYPERCUBE, but it has no exits. In a serious, non-trivial sense, mathematics is the pattern science. If you choose to believe that reality has underlying patterns, then mathematics is unavoidable. To respond to the grandparent, we can put sets on categories, types on categories, categories on sets, logic on sets, logic on categories, etc. Who cares which foundations you pick, when they all can build from each other?