mitu erinevat vahetulemust. Järeldamisprotsess võib olla läbi viidud nii, et kõikide järeldamise sammude korral järgitakse üht ja sama eeskirjade komplekti. Sellist järeldamist nimetatakse tuletuseks või tuletamiseks, mõnikord ka lõppjärelduse tuletamiseks, ning kasutatud reeglite komplekti nimetatakse tuletussüsteemiks. Tuletamise kui järeldamisprotsessi üht sammu nimetatakse tuletussammuks. Kui iga tuletussamm on kehtiv arutlus, siis saab ka järeldamisprotsessi (tuletuse) kohta tervikuna öelda, et tegemist on kehtiva järeldamise või kehtiva tuletusega. Matemaatika ja loogika (mida saab käsitleda matemaatika osana) distsipliine (nt Eukleidese geomeetria või lausearvutus) püütakse üles ehitada aksiomaatiliselt. See tähendab, et määratletakse käsiteldavad objektid (nt geomeetrias punktid, jooned jne või lausearvutuses formaalsed laused,
mitu erinevat vahetulemust. Järeldamisprotsess võib olla läbi viidud nii, et kõikide järeldamise sammude korral järgitakse üht ja sama eeskirjade komplekti. Sellist järeldamist nimetatakse tuletuseks või tuletamiseks, mõnikord ka lõppjärelduse tuletamiseks, ning kasutatud reeglite komplekti nimetatakse tuletussüsteemiks. Tuletamise kui järeldamisprotsessi üht sammu nimetatakse tuletussammuks. Kui iga tuletussamm on kehtiv arutlus, siis saab ka järeldamisprotsessi (tuletuse) kohta tervikuna öelda, et tegemist on kehtiva järeldamise või kehtiva tuletusega. Matemaatika ja loogika (mida saab käsitleda matemaatika osana) distsipliine (nt Eukleidese geomeetria või lausearvutus) püütakse üles ehitada aksiomaatiliselt. See tähendab, et määratletakse käsiteldavad objektid (nt geomeetrias punktid, jooned jne või lausearvutuses formaalsed laused,
annaabi.ee 
