Corollaire

En mathématiques et en logique, un corollaire (du latin tardif corollarĭum) est une proposition déduite d'une vérité déjà démontrée. Il s'agit en somme d'une conséquence évidente ne nécessitant pas de preuve.

Notes et référencesModifier