text: теоре́ма «түр, сипат, тұжырым») ақиқаттығы дәлелдеудің нәтижесінде анықталатын математикалық тұжырым. математиканың кез келген саласы ақиқаттығы бұрынырақ дәлелденген теоремаларға сүйене отырып, бірінен соң бірі дәлелденетін теоремалардан тұрады. мұнда алғашқы сөйлемдер дәлелденбейтін тұрады және бұл аксиомалар сол математика саласының логикалық негізі болып есептеледі. теорема шарты және қорытындысы деп аталатын бөліктерден тұрады. мысалы: 1) егер санның цифрларының қосындысы 3-ке бөлінсе, онда санның өзі де 3-ке бөлінеді; үшбұрыш туралы аксиома. 2) егер үшбұрыштың бір бұрышы тік болса, онда қалған екі бұрышы сүйір болады. осы мысалдардың әрқайсысындағы «егер» сөзінен кейін тұрған теореманың шарты, ал «онда» сөзінен кейін тұрған теореманың қорытындысы болады. «егер…, онда…» сөздері арқылы берілген әрбір теоремаға кері теорема алуға болады, ондай теоремада берілген теореманың шарты қорытындысы ретінде, ал қорытындысы шарты ретінде айтылады. тура және кері теоремалар өзара кері болады. өзара кері теоремалардың ақиқат болуы тұжырымның ақиқаттығы үшін олардың кез келген шартының орындалуы қажетті және жеткілікті екенін білдіреді. егер теореманың шарты мен қорытындысын оларды теріске шығаратын сөйлемдермен алмастырсақ, берілген теоремаға қарама-қарсы теорема шығады. математикада әдетте өте маңызды ғана теорема деп атайды. әдетте керек дәлелдемелер әйтеуір біреу тапқан. онша маңызы жоқ лемма, сөйлем деп атайды. теорема немесе теорема еместігі белгісіз болып табылатын гипотеза дейді. kері теорема берілген теореманың шарты қортындысы болатын, ал қортындысы шарты болатын теорема берілген теоремаға кері теорема деп аталады. қарама-қарсы теорема тұжырымдалған теореманың қорытындысы мен шартын теріске шығарушы теорема. мысалы, "егер бір бүтін сан 2-ге бөлінетін болса, онда осы санның 2-дәрежесі (яғни квадраты) де 4-ке бөлінеді" делінген тұжырымға "егер бір бүтін сан 2-ге бөлінбейтін болса, онда осы санның 2-дәрежесі де 4-ке бөлінбейді" делінген теорема алдынғы теоремаға қарама-карсы теорема болады. қарама-қарсы теоремамен мәндес. қарсы жору арқылы дәлелдеу әдісі тура теореманы қарама-қарсы теоремаға өзгертіп дәлелдеу әдісі болып табылады. егер де тура теорема ақиқат болса, онда қарсы жору әдісі арқылы дәлелдеуді қайшы пікірге тап боламыз, егер де әуелгі теорема ақикат болмаса, онда айтылған қайшы пікір туындамайды.