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