This series collects the mathematical language used by the other parts of the mathematics collection. It begins with propositions and proof, then develops sets, functions, inequalities, complex numbers, and related structures.
The first migration batch adapted the proof chapter into six independent notes. The second batch now adds sets and functions, number systems and algorithms, inequalities, and complex numbers. Each migrated chapter is edited for mathematical precision and clear English before publication. Source-generated illustrations remain marked for later SVG export instead of appearing as broken images.
Planned reading path
- Propositions and axiomatic systems
- Direct, indirect, and inductive proofs
- Sets, functions, sequences, and summation
- Number systems, algorithms, and recursion
- Inequalities
- Complex numbers
Chapter map
- Propositions and axiomatic systems , reviewed
- Converse, inverse, and contrapositive , reviewed
- Direct proof , reviewed
- Proof by cases , reviewed
- Indirect proof , reviewed
- Mathematical induction , reviewed
- Sets, functions, sequences, and summation , reviewed
- Number systems, algorithms, and recursion , reviewed
- Inequalities , reviewed
- Complex numbers , reviewed