தேற்றம்
தேற்றம் என்பது முந்தைய அறிக்கைகள், பிற கோட்பாடுகள் மற்றும் முன்னர் ஏற்றுக்கொள்ளப்பட்ட அறிக்கைகள் போன்ற ஒத்துழையாமைகளை அடிப்படையாக நிரூபிக்கப்பட்ட ஒரு அறிக்கையாகும். ஒரு கோட்பாட்டின் வெளியீடு பெரும்பாலும் ஒரு வெளிப்பாட்டின் வெளிப்பாட்டின் ஆதாரமாகக் கருதப்படுகிறது, ஆனால் ஒரு வேறுபட்ட துப்பறியும் முறை பயன்படுத்தப்படுமானால், அதன் வெளியீட்டின் சட்டத்தின் நோக்கங்களைப் பொறுத்து வெவ்வேறு விளக்கங்களை உருவாக்க முடியும். தேற்றம் இரண்டு கூறுகள் உள்ளன, அதாவது கருதுகோள் மற்றும் முடிவு. கணிதவியல் கோட்பாட்டின் ஆதாரம் என்பது ஒரு தர்க்கரீதியான வாதம் ஆகும், இது கருதுகோள் உண்மை என்றால், முடிவு எடுக்கும் எந்தவொரு அனுமானமும் இல்லாமல், முடிவுகளும் உண்மையானதாக இருக்க வேண்டும். எனவே, ஒரு கோட்பாட்டின் கருத்தியல், கற்பனையான விஞ்ஞான கோட்பாட்டின் கருத்துக்கு மாறாக, அடிப்படையில் துல்லியமாக உள்ளது. விகிதாசார கால்குலஸ் என்ற முழு குறியீட்டு வடிவத்தில் இது எழுதப்பட்டாலும், தேற்றம் பெரும்பாலும் ஆங்கில மொழி போன்ற மொழியில் வெளிப்படுகிறது.