Wilsons sætning er en matematisk sætning, der udsiger, at for ethvert primtal \(p\) vil tallet \((p-1)\cdot(p-2)\cdot(p-3)\cdot \cdot \cdot 2\cdot 1+1\) være deleligt med \(p\). Det første dokumenterede bevis blev givet af Lagrange i 1773.