> Harvey Friedman had presented several formulations of theories using > some concepts in theology relative to which ZFC is provable to be > consistent! So some kind of mentioning of the supernatural (or what is > mutually interpretable with it!) is needed to prove ZFC's > consistency. > > See: http://www.cs.nyu.edu/pipermail/fom/2013-January/016881.html > > Doesn't that say that mathematics following ZFC is only grounded in > Mythology driven principles!
No. Friedman has explicitly stated he basically thinks whenever we look into any field of human thought we will find basic, fundamental, and natural principles which, when formalized, have the consistency strength of set theory (possibly extended with some large cardinal axioms). Presumably because his research into these matters is (partly?) funded by the Templeton Foundation, he's chosen to illustrate this point -- made previously in terms of "concept calculus" etc. -- by means of vaguely theological bandying about of somewhat arbitrary formalism.
-- Aatu Koskensilta (firstname.lastname@example.org)
"Wovon man nicht sprechen kann, darüber muss man schweigen" - Ludwig Wittgenstein, Tractatus Logico-Philosophicus