Logical Systems (Re: Hanson 2006, Mortimer, Baeker response)

[Phil Bigelow <bigelowp@juno.com>]

don ohmes <d_ohmes@yahoo.com> writes:

 
> There is even (from the 1930s, IIRC) mathematical proof that 
> no logical system can exist w/out at least one assumption (sorry, no 
> reference; 30 miles away, maybe later).


Interesting.  I had always assumed that "assumption" and "faith" are not
synonyms.  ;-)  

Actually, I'd like the ref. for the paper that Don mentioned, if anyone
has it available.

<pb>
--
Stigmata free since 1972.