Ifølge Descartes begynner matematiske bevis med et minimalt antall premisser av grunnleggende og innlysende enkelhet, for eksempel at en rett linje er den korteste vei mellom to punkter.