3 Fundamentals[00C]

3.1 Logic

[1YS]↺↻

3.2 Set theory

[1YT]↺↻

3.3 Relations

[1YV]↺↻

3.4 Ordering

[1YY]↺↻

3.5 Functions

[1YR]↺↻

3.6 Projecting to the quotient

[1Z5]↺↻

3.7 Natural numbers in ZF

[246]↺↻

3.8 Well ordering

[1YQ]↺↻

3.9 Cardinality

[1YW]↺↻

3.10 Operations on sets

[1YX]↺↻

3.11 Combinatorics

E1

[09N]↺↻

E1

[09Q]↺↻

See also exercise [02Y]↺↻.