Path: utzoo!mnetor!uunet!lll-winken!lll-lcc!mordor!sri-spam!zodiac!DUCHAMPS!rar
From: rar@DUCHAMPS (Bob Riemenschneider)
Newsgroups: sci.philosophy.tech
Subject: Re: Classifying the Axiom of Choice
Message-ID: <8802251655.AA06216@duchamps.ads.arpa>
Date: 25 Feb 88 16:55:11 GMT
Sender: daemon@zodiac.UUCP
Lines: 8

=>   The a priori statements form merely a recursively enumerable set, ...
=>
=>   --Herb Enderton, hbe@math.ucla.edu

I don't see why this must be the case.  Mightn't (some) people come
equipped with knowledge of a more complicated set of truths, or with
knowledge of a non-effective rule of inference?

							-- rar