todistusmenetelmä
Todistusmenetelmä tarkoittaa matematiikassa käytettävien todistusten ja päättelyn keinojen kokonaisuutta. Se viittaa systemaattisiin lähestymistapoihin, joiden avulla väite voidaan osoittaa todeksi seuraamalla määritelmiä, aksioomien ja aiemmin todistettujen teoreemien mukaisia loogisia johtopäätöksiä. Todistaminen perustuu tarkkaan ja toistettavaan päättelyyn, jonka on oltava yleispätevä ja epäilemätön.
Yleisimmät menetelmät ovat suora todistus, jossa väite johdetaan loogisesti määritelmien ja aksioomien kautta; todistus vastakohdalla, jossa
Todistusmenetelmät edellyttävät tarkkaa määrittelyä, selkeää hypoteesin rajausta ja loogisen rakenteen hallintaa. Hyvä todistus esittää väitteen johtopäätökset
Käytännössä todistusmenetelmät ovat keskeisiä kaikkialla matematiikassa ja muodollisessa logiikassa; niillä osoitetaan teoreemoja aritmetiikasta ja geometriasta diskreettiin