Қорытынды (математика)

ҚОРЫТЫНДЫ, логикалық — белгілі бір түсініктің ақикаттығына көз жеткізу үшін айтылатын ой түйіні; ой түйін белгілі бір теорияның аксиомаларына және бірқатар жорамалдарға немесе болжамдарға негізделеді және де алдыңғы белгілі аксиомалар мен болжамдардан бастапқы айтылғандармен логикалық байланыста болатын жаңа пікірлерге жол беріледі. Бұл әдістің математикалық теорияларды аксиомалар негізінде қалыптастыруда маңызы зор. Аксиомалық теориялардағы логикалық қорытындыны зерттеумен математикалық логика айналысады.