27 Mar
2006
27 Mar
'06
1:56 p.m.
Vaughan Pratt wrote:
Robert J. MacG. Dawson wrote:
...fatally flawed. (Why do the circles in Euc.I.1 intersect? None of his axioms assert that any pair of circles whatsoever do so.)
In axiomatic mathematics, everything that is not forbidden is permitted.
Yes, in a sense... but theorems along the lines of "there exists a model of X such that Y" were a long, long way in the future <grin> -Robert