Quick question for gurrier on philosophy of maths:
I don't mean to criticise or start a debate, but where do you get the idea that set theory is derived from the way the universe is?
Its just that I've never seen that idea before, and yet it looks like it should exist somewhere in the history of ideas. Neo-kantian logicism or something?