Path: utzoo!attcan!uunet!husc6!mailrus!uwmcsd1!ig!agate!garnet!weemba
From: weemba@garnet.berkeley.edu (Obnoxious Math Grad Student)
Newsgroups: comp.ai
Subject: Rules vs axioms
Message-ID: <14108@agate.BERKELEY.EDU>
Date: 10 Sep 88 12:35:12 GMT
References: <3546@s.cc.purdue.edu> <2365@uhccux.uhcc.hawaii.edu> <918@l.cc.purdue.edu>
Sender: usenet@agate.BERKELEY.EDU
Reply-To: weemba@garnet.berkeley.edu (Obnoxious Math Grad Student)
Organization: Brahms Gang Posting Central
Lines: 7
In-reply-to: cik@l.cc.purdue.edu (Herman Rubin)

In article <918@l.cc.purdue.edu>, cik@l.cc (Herman Rubin) writes:
>However, starting with a set of axioms and no rules, nothing more can be
>derived.  Thus we see that rules are stronger than axioms.

Indeed.  One can always have a rule that says ( () => axiom ).  Deep, no?

ucbvax!garnet!weemba	Matthew P Wiener/Brahms Gang/Berkeley CA 94720