But in our opinion truths of this kind should be drawn from notions rather than from notations.

— Carl Friedrich Gauss, Disquisitiones Arithmeticae (1801)

On the proof of Wilson's theorem, article 76.

Topics: mathematics