# Math Help - Sets question.

1. You're talking about formal proof system, and I was talking about formula satisfaction in structures.. But equivalent formulas for any structure are equivalent formulas in the formal system. (And conversely, thanks to the completness theorem (Gödel, 1930)).

Has your system 3 original axioms and 2 deduction rules? (plus the predicate calculus tautologies)

2. ## Thread closed

The logical thing to do here is close the thread, I think.

Edit:
Originally Posted by archidi
My dear Plato [snip]
I'm not sure how expensive (dear) Forum Moderator Plato's tutoring rates are so I'm not sure about that observation. I do know we are all fortunate to have his expertise and experience available for free at MHF.

Originally Posted by archidi
[snip]don't you know the answer, or you agree with clic clac's proof??
Option 3: Maintaining a dignified silence.

Page 2 of 2 First 12