| Gary Hardegree (homepage) | Philosophy 595 - Set Theory | (homepage) UMass Amherst |
| General Info | On-Line Text |
| Gary Hardegree, Set Theory | |
| Overview/Summary | Basic material on set theory. |
| Basic Concepts | |
| Relations | |
| Functions | |
| Natural Numbers | |
| Cardinal Numbers | |
| Rules of Derivation | |
| Rules | Rules for Derivations in homework and exams. |
| Collateral Material | |
| Formal Languages 1 | Collateral material on metalogic. Use/mention. Object-language/meta-language. Numbers/Numerals. Recursive definitions. |
| Formal Languages 2 | |
| Mathematical Induction | |
| Appendix: Brief History of Numeration | |
| These
require Adobe Acrobat Reader. To download, click here. |
|