| Subject: | Re: Proof of finite axiomatizability |
|---|---|
| From: | "Atreides" |
| Date: | 26 Oct 2006 07:35:01 -0700 |
| Newsgroups: | sci.logic |
I do not understand why your example works :(. How can you prove A = (x = (sx)) by it ? |
| <Prev in Thread] | Current Thread | [Next in Thread> |
|---|---|---|
| ||
| Previous by Date: | Re: how to define Thm in PRA, aatu . koskensilta |
|---|---|
| Next by Date: | Re: Non-arbitrary mathematics, Frederick Williams |
| Previous by Thread: | Re: Proof of finite axiomatizability, William Elliot |
| Next by Thread: | Re: Proof of finite axiomatizability, William Elliot |
| Indexes: | [Date] [Thread] [Top] [All Lists] |