[FOM] Choice of new axioms 1

[praatika@mappi.helsinki.fi]

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


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