यूक्लिड के प्रमेय के अनुसार अनंत अभाज्य संख्याएँ होती हैं। इसका सर्वमान्य प्रमाण विरोधाभास द्वारा दिया जाता है। इसमें सभी अभाज्य संख्याओं की एक सीमित सूची [latex]p_1, p_2, dots, p_n[/latex] मानी जाती है। फिर यह संख्या [latex]P = p_1 p_2 cdots p_n + 1[/latex] पर विचार करता है। यह संख्या [latex]P[/latex] या तो अभाज्य है या नहीं। यदि यह अभाज्य है, तो यह सूची में मौजूद न होने वाली एक नई अभाज्य संख्या है।





