Re: Godel's original proof of completeness

From: Bruno Marchal <>
Date: Tue, 4 Apr 2006 12:19:06 +0200

Le 04-avr.-06, à 10:40, Bruno Marchal a écrit :

> For example: (x)(0 ­ s(x)) can be replaced by Ey((x)(y ­ s(x) & (z)

Mmh... You are asked to imagine the symbol for "not equal" between the
0 and the s(x), and between the y and s(x). It does not print well!


You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to
To unsubscribe from this group, send email to
For more options, visit this group at
Received on Tue Apr 04 2006 - 06:19:58 PDT

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:11 PST