Жылы математика, бір теорема болды есеп болып табылады дәлелдеді , басқа да теоремалар және жалпы қабылданған есептілігі: бұрын белгiленген есептілігі негізінде аксиомалары[ дереккөзі анықталмаған 295 күн ] . Басқаша айтқанда, теорема - бұл математикалық тұжырым, оның ақиқаттығы дәлелдеу арқылы анықталады [2] . Теорема - аксиомалардың логикалық нәтижесі . Математикалық теореманың дәлелі - бұл формальды жүйенің ережелеріне сәйкес келтірілген теореманың тұжырымының логикалық аргументі . Теореманың дәлелденуі көбінесе теорема тұжырымының ақиқаттығын дәлелдеу ретінде түсіндіріледі. Дәлелденетін теоремаларға қойылатын талапты ескере отырып, теорема ұғымы тәжірибелік сипаттағы ғылыми заң тұжырымдамасынан айырмашылығы түбегейлі дедуктивті болып табылады [3] .
s17=17/2 (a1+a17)=8(a1+a17)
a17=a1+16.d, a17=-9+16.(-16)=-9-256=-265
s17=17/2 (-9-265)=17/2.(-274)=17.(-137)=-2329
s17=-2329