Al stess mod, i filosof de la matemategh g’han cercà de caraterizar chel che rend una dimostraziun püsee desiderabil de un oltra quand tüt i dü sun logicament valid.