في الرياضيات، تنص مبرهنة ويلسون (بالإنجليزية: Wilson's theorem) على أن عددا صحيحا طبيعيا ما n > 1 هو عدد أولي إذا وفقط إذا كان جداء كل الاعداد الصحيحة الموجبة الأصغر قطعا من n أصغر بواحدٍ من مضاعفٍ ما ل n. أي أنه إذا توفر مايلي:
و بتعبير آخر، إذا وفقط إذا كان
(
n
−
1
)
!
+
1
{\displaystyle (n-1)!\ +1}
مضاعفا ل n.