به همان شیوه، اما، فلیسوفان ریاضیات در تلاش بودند تا موارد را که یک سند را نسبت به دیگر بیشتر مطلوب مینمود توصیف نماید درحالیکه هر دویش از نظر منطق درست باشند.