sci.logic
[Top] [All Lists]

Re: Proof of finite axiomatizability

Subject: Re: Proof of finite axiomatizability
From: William Elliot
Date: Thu, 26 Oct 2006 19:59:59 -0700
Newsgroups: sci.logic
On Thu, 26 Oct 2006, Atreides wrote:

> I do not understand why your example works :(.

I don't understand what you're talking about as all context
has been removed. ;-(

Reply only if adequate contexts is included _within_ the reply.
        http://oakroadsystems.com/genl/unice.htm#quote
                                        www.xs4all.nl/~hanb/documents/quotingguide.html">http://www.xs4all.nl/~hanb/documents/quotingguide.html

Otherwise essential contexts is removed from view,
the flow of thought disrupted and chaos reigns.

> How can you prove A = (x = (sx)) by it ?
>
What's A.  Is A a statement?  What you write in quick gibber.
"How can you prove A, the statement (x = (sx)), by it?"
Is that what you mean?  BTW, what's it?

<Prev in Thread] Current Thread [Next in Thread>
Privacy Policy