کدام گزینه، گزارهٔ «$\forall x\in P-\left\{ ۲,۳ \right\};\exists k\in N;(x=۶k+۱)\vee (x=۶k-۱)$» را بیان می‌کند؟ (P مجموعهٔ اعداد اول و k عددی طبیعی است.)
1 هر عدد اول بزرگ‌تر از ۳ به صورت ۶k+۱ یا ۶k-۱ است.
2 اگر عددی به صورت ۶k+۱ یا ۶k-۱ باشد عددی اول غیر از ۲ و ۳ است.
3 مقداری مانند k در مجموعهٔ اعداد طبیعی وجود دارد، طوری که ۶k+۱ یا ۶k-۱، عدد اول و بزرگ‌تر از ۳ باشد.
4 اگر عددی عضو مجموعهٔ اعداد اول غیر از ۲ و ۳ باشد، آنگاه قطعاً ۶ برابرش به علاوه یا منهای یک، عدد اول است.