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