
Re: If 2 systems represent the same sets do they prove the same theorems?
Posted:
Feb 3, 2013 5:29 PM


On Feb 2, 3:38 am, CharlieBoo <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 viceversa B > is in A, then do systems A and B prove the same theorems? > > CB
by extension system A = system B
However, one system may have restricted comprehension on WFF while the other does not.
Herc

