| Line 6: | Line 6: | ||
<p> | <p> | ||
| − | Mathematics is all about logic. | + | Mathematics is all about logic. Every insightful mathematical theory (among non-mathematical ones) is built up axiomatically. The rules which enable us to produce a theory system are introduced by formal theory. Don't mix formal theory with the actual theory you are playing with! We sometimes call formal theory a metatheory. |
</p> | </p> | ||
| Line 20: | Line 20: | ||
</p> | </p> | ||
| + | |||
| + | <h2>3. miscellanea </h2> | ||
| + | |||
| + | <p>"SUCH THAT" is confusing!</p> | ||
Revision as of 22:15, 14 October 2012
Contents
First Order Logic
Chenkai Wang
0. Introduction
Mathematics is all about logic. Every insightful mathematical theory (among non-mathematical ones) is built up axiomatically. The rules which enable us to produce a theory system are introduced by formal theory. Don't mix formal theory with the actual theory you are playing with! We sometimes call formal theory a metatheory.
1. The Language
2. Some Useful Metatheorems
3. miscellanea
"SUCH THAT" is confusing!
