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?
by extension system A = system B
However, one system may have restricted comprehension on WFF while the
other does not.