On 2005-08-12 07:06:11 +0900, William James wrote:
> > It's all like non-euclidean geometry. Nobody could prove Euclid's 5
> > postulate even though it was ugly enough to be a theorem not an axiom.
> 
> By definition, axioms are not provable.

Yes, but back then it wasn't known, that the 5th Euclidean axiom was
indead an axiom. That's why people tried to deduce it from the other
axioms - without success.

-- 
Florian Frank