Жылы математика, бір теорема болды есеп болып табылады дәлелдеді , басқа да теоремалар және жалпы қабылданған есептілігі: бұрын белгiленген есептілігі негізінде аксиомалары[ дереккөзі анықталмаған 295 күн ] . Басқаша айтқанда, теорема - бұл математикалық тұжырым, оның ақиқаттығы дәлелдеу арқылы анықталады [2] . Теорема - аксиомалардың логикалық нәтижесі . Математикалық теореманың дәлелі - бұл формальды жүйенің ережелеріне сәйкес келтірілген теореманың тұжырымының логикалық аргументі . Теореманың дәлелденуі көбінесе теорема тұжырымының ақиқаттығын дәлелдеу ретінде түсіндіріледі. Дәлелденетін теоремаларға қойылатын талапты ескере отырып, теорема ұғымы тәжірибелік сипаттағы ғылыми заң тұжырымдамасынан айырмашылығы түбегейлі дедуктивті болып табылады [3] .
