[FOM] New Umbrella?

[Urs Schreiber]

On 10/29/14, David Posner <dposner at sbcglobal.net> claimed:

> The discussion is about the religion of mathematics.  [...]
> What's frustrating is that the proponents of HoTT are beating around the bush
> trying to reduce the fundamental question about God the Universe and
> everything to picayune technical issues.


On the contrary, all the discussion of religion of mathematics here
would better be moved to elsewhere (ROM?), while on FOM it would be
good to focus on technical issues, on mathematics.

There are many deductive systems which may serve as foundations for
mathematics. A technical understanding of their definitions, their
interrelation and their application is a necessary prerequisite for
gaining an informed opinion on their relative merits.