在数学中,真理不是通过共识而是通过证明来发现的。
The dead are always looking down on us, they say. But we don't look back.