In article <email@example.com>, Lester Zick <DontBother@nowhere.net> wrote:
> On 21 Jul 2006 16:59:48 -0700, "Jiri Lebl" <firstname.lastname@example.org> wrote: > Simple > >Further the fact > >that either A or not A is true is an AXIOM (given that A is a well > >defined statement that is either true or false in some system)! It is > >an ASSUMPTION! Further some people reject this assumption, for it > >leads to non constructive proofs. > > Well this point is well taken: the tautological exhaustion of truth is > an assumption. However the point I would make in this connection is > whether there can be any alternative. In other words can there be an > alternative to the tautological exhaustion of truth that is actually > "not a tautology"?
Those who reject the axiom of the excluded middle in favor of constructive mathematics make, and,implement just such an assumption.