Re: Epistemology 201: The Science of Science

From: Torkel Franzen (torkel_at_sm.luth.se)
Date: 02/02/05 

Date: 02 Feb 2005 08:51:15 +0100

"Jason" <jasonstevensNOSPAM@free.net.nz> writes:

> Most of maths is built from sets, so the basic assumptions of maths
> are the axioms of set theory, in particular ZFC set theory. [Chapter Zero -
> Fundamental Notions of Abstract Mathematics, Carol Schumacher]

  However, after Chapter Zero, nobody cares about the axioms of ZFC,
let alone about the rules of predicate logic.

  This is not to say that ZFC does not play an important role in
contemporary mathematics.

Relevant Pages