Et er en logisk påvisning av en sant utsagn på grunnlag av en rekke argumenter. Matematiske beviser kan som regel bli trukket ned til et eller flere aksiomer, altså grunnleggende og selvinnlysende utsagn.