From: William James <w_a_x_man@...>
Date: 2005-08-12T07:06:11+09:00
Subject: Re: NEWBIE QUESTION: pattern with nil


John Carter 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.