[FOM] Mathematical explanation

[Neil Tennant]

On Tue, 25 Oct 2005, Hendrik Boom wrote:

> 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?

Since when did necessity entail either obviousness or uncontroverisal
status?

Neil Tennant