On Sun, Nov 30, 2003 at 10:19:28AM -0800, Deryk Barker wrote: > enough to contain the axioms of arithmetic, then there are statements > which can be made but not proved within that system. It is possible to > add further axioms to prove the statements, but then this richer > axiomatic base will lead to new statements which cannot be proved with > the richer set of axioms. > -- > so omniscience is just not an option? that's a relief.
ben -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]