au sommaire


    Raisonnement établissant la vérité d'une proposition à partir d'axiomesaxiomes que l'on a posés.