An interesting thought brought to mind by your comments, our search for foundations (whether set theory, type theory, category theory, or higher order) reveals

An interesting thought brought to mind by your comments, our search for foundations (whether set theory, type theory, category theory, or higher order) reveals as much about our own minds as it does any idea of some external nature.