Re: dilemma; was Re: Axiomatic ontology
Michel,
On Jan 29, 2008 7:40 PM, Michel Eytan <eytan@umb.u-strasbg.fr> wrote:
>
> > Last time I checked this was still a dilemma in mathematics. Axiomatic
> > formulations of maths appear to be irreducibly multiple.
> ...
>
> Sorry Rob, this is no more 'a dilemma in mathematics' -- cf eg
> Grothendieck's Universes
> (say SGA4, Springer Lecture Notes in Maths 269; MacLane Categories for
> the Working Mathematician; etc., etc.) or Feferman in Butts&Hintikka
> (eds.), Logic, Foundations of Mathematics and Computability Theory,
> Reidel 1977. And many, many more references...
In what way do these resolve the dilemma I spoke of?
-Rob