The Math Forum

Search All of the Math Forum:

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

Math Forum » Discussions » sci.math.* » sci.math

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

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   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 8:31 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On Feb 4, 9:21 am, Charlie-Boo <> wrote:
> On Feb 3, 5:29 pm, Graham Cooper <> wrote:

> > On Feb 2, 3:38 am, Charlie-Boo <> 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
> Are you saying yes to my original question?

Your subject line I'm ignoring.

By extension

(ALL(thm) thm e theoryA <-> thm e theoryB) <-> (theoryA = theoryB)

ALL(thm) A|-thm <-> B|-thm

However the set of WFF in each may be different.

The parameter X limits what you are trying to say
as theorems have higher arity than 1.


Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.