[FOM] Choice of new axioms 1

praatika@mappi.helsinki.fi praatika at mappi.helsinki.fi
Tue Feb 14 07:43:37 EST 2006

Quoting Andrej Bauer <Andrej.Bauer at andrej.com>:

> As an innocent onlooker to the current discussion about 
> "choice of new axioms", I have been wondering all along 
> why there needs to be one set of standard axioms that 
> "normal" mathematicians use? 

Because otherwise one can derive e.g. both MC and not-MC, and consequently, 
everything. (MC = there exists a measurable cardinal)

> Is this something that is good for mathematics, or are we all in search 
of aboslute truth, or what?

Yes. Yes. 


Panu Raatikainen
Ph.D., Academy Research Fellow,
Docent in Theoretical Philosophy
Department of Philosophy
P.O. Box 9
FIN-00014 University of Helsinki
E-mail: panu.raatikainen at helsinki.fi

More information about the FOM mailing list