Update 2024-09-09: Look at how this went.
- p-adic distance
- ultra-metric
- $\sigma$-finite measure: the measure space can be decomposed into a countable sequence of sets with finite measure
- countable additivity of probability measure is equivalent to its continuity with finite additivity
- Viete holds in any commutative ring
- See Calculus III for more