Path: utzoo!utgpu!water!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!mailrus!nrl-cmf!ames!sgi!andru
From: andru@rhialto.SGI.COM (Andrew Myers)
Newsgroups: comp.ai
Subject: Re: The Ignorant assumption
Summary: number theory required
Message-ID: <21947@sgi.SGI.COM>
Date: 14 Sep 88 22:50:41 GMT
References: <1411@garth.UUCP> <2381@uhccux.uhcc.hawaii.edu>
Sender: daemon@sgi.SGI.COM
Organization: Silicon Graphics Inc, Mountain View, CA
Lines: 8

> From article <1411@garth.UUCP>, by smryan@garth.UUCP (Steven Ryan):
> 
> ... We all know (I hope) formal systems are either
> incomplete or inconsistent.

Only formal systems which include number theory as a subset.

Andrew