Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: If 2 systems represent the same sets do they prove the same theorems?
Replies: 4   Last Post: Feb 3, 2013 11:52 PM

 Messages: [ Previous | Next ]
 Graham Cooper Posts: 4,495 Registered: 5/20/10
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, 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

Date Subject Author
2/3/13 Graham Cooper
2/3/13 Charlie-Boo
2/3/13 Graham Cooper
2/3/13 Charlie-Boo