text: # sequent
  
  ## Anglais
  
  ### Étymologie
  
      De l’ancien français sequent, du latin sequens, participe présent de sequi (« suivre ») emprunté au grec ancien έπεσθαι (« suivre ») Référence nécessaire.
  
  ### Nom commun
  
  sequent \ˈsiːkwənt\
  
  * (Logique) Un élément d'une séquence, habituellement une séquence dans laquelle chaque entrée est un axiome ou peut être inféré des éléments précédents.
  * (Logique) Une entité de la théorie des séquents, qui est un système logique de démonstration, qui constitué d'une ensemble de proposition, l'antécédent et d'une proposition le conséquent (ou la conséquence).
  
  **Apparentés étymologiques**
  
  * subsequent
  