عدد ويلسون الأولي p هو عدد أولي بحيث يقسم p^٢ التعبير (p−١)!+١، أي أن (p−١)!≡−١ (mod p^٢). يمثل هذا شرطًا أقوى من علاقة ويلسون المعتادة modulo p، ويُدرس في نظرية الأعداد كحالة خاصة من تعميمات العلاقات التوافقية للأعداد الأولية.