just occurred to me
Aug. 29th, 2019 09:24 amThe search of a "universal foundation" of math is actually the search of a universal model for all possible math theories.
Now the idea looks totally weird. It's been 90 years now since Gödel showed something to the world. And still...
There's no universal foundation! A foundation is just another theory.