第2章说明了等号是一架天平，而不是一个箭头。本章要问：它还是什么？
答案出人意料：在 $2x+1=7$ 中，等号提出一个问题；在 $(a+b)^2=a^2+2ab+b^2$ 中，它陈述一条规律；在 $f(x)=x^2$ 中，它给出一个名字；在 $\frac12=\frac24$ 中，它说两种不同的写法指向同一个数。为了把这些工作区分开，数学发明了等号的亲戚：$\equiv$、$:=$、$\approx$、$\Leftrightarrow$。而当等式一个接一个地串起来、每一步都有理由时，证明就诞生了。证明有它自己的写法：“设”“假设”“所以”“$\blacksquare$”。