On Mon, Oct 24, 2005 at 10:40:06AM +0100, Thomas Forster wrote: > All of Mathematics is necessary If all mathematics were necessary, would we be having debates instead of proofs about the law of the excluded middle, the continuum hypothesis, large-cardinal axioms, or Quine's New Foundations, for that matter? -- hendrik