Theory of Sets · Chapter I
Description of formal mathematics
- Description of formal mathematics 0 statements
- § 1. Terms and relations 5 statements · 6 exercises
- § 2. Theorems 1 statements · 1 exercises
- § 3. Logical theories 0 statements · 5 exercises
- § 4. Quantified theories 0 statements · 8 exercises
- § 5. Equalitarian theories 3 statements · 7 exercises
- App. 0. Characterization of terms and relations 7 statements · 8 exercises