Cela vous intéressera aussi

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