प्रमेय
प्रमेय एक कथन है जो पिछले बयानों के आधार पर साबित हुआ है, जैसे कि अन्य प्रमेयों, और पहले स्वीकार किए गए बयान, जैसे कि स्वयंसिद्ध एक प्रमेय के प्रकाशन को अक्सर अभिव्यक्ति की अभिव्यक्ति के प्रमाण के रूप में व्याख्या की जाती है, लेकिन अगर एक अलग कटौती प्रणाली का उपयोग किया जाता है, तो इसके प्रकाशन के कानून के उद्देश्यों के आधार पर, यह अलग-अलग व्याख्याएं पैदा कर सकता है। प्रमेय के दो घटक हैं, अर्थात् परिकल्पना और निष्कर्ष। गणितीय प्रमेय का सबूत एक तर्कसंगत तर्क है, जो दर्शाता है कि प्रत्येक परिकल्पना के लिए निष्कर्ष आवश्यक परिणाम है, यदि परिकल्पना सही है तो निष्कर्ष किसी भी अन्य मान्यताओं के बिना भी सत्य होना चाहिए। इसलिए प्रमेय की अवधारणा मूल रूप से उत्प्रेरक है, जो कि अनुभवजन्य वैज्ञानिक सिद्धांत की अवधारणा के विपरीत है। यद्यपि इसे पूर्ण प्रतीकात्मक रूप में आनुपातिक कैलकुस के रूप में लिखा जा सकता है, प्रमेय अक्सर अंग्रेजी भाषा की तरह एक भाषा में व्यक्त किया जाता है।