Date: Feb 3, 2013 5:29 PM
Author: Graham Cooper
Subject: Re: If 2 systems represent the same sets do they prove the same theorems?
On Feb 2, 3:38 am, Charlie-Boo <shymath...@gmail.com> wrote:

> That is, if for every wff w in system A there is a wff v in system B

> such that |-w(x) iff |-v(x) for all x, and likewise for vice-versa B

> is in A, then do systems A and B prove the same theorems?

>

> C-B

by extension system A = system B

However, one system may have restricted comprehension on WFF while the

other does not.

Herc