• à cet égard / therein
  • à partir de rien / ex nihilo from scratch
  • c’est-à-dire / in other words, that is, i.e. (latin for "id est")
  • comme / as
  • contraposée / contraposition
  • contre-exemple /counter-example
  • corollaire / corollary
  • CQFD (ce qu’il fallait démontrer) / QED (quod erat demonstrandum)
  • d’où / whence
  • d’une part, ..., d’autre part, ... /  on one hand, ..., on the other hand, ...
  • déduire / to deduce, to infer
  • dans l’ensemble, globalement / by and large, on the whole
  • dans la mesure où / insofar as, as far as
  • démontrer / to demonstrate, to give a demonstration, to show
  • démonstration par l’absurde / proof by contradiction
  • en plus de / in addition to, over and above, on top of this
  • élément de démonstration / proof hint
  • étant donné que / given that
  • implique / implies
    • A statement A implies another statement B (written as A⇒B), if from the truth of the former, it necessarily follows the truth of the latter.
  • induit / induced
  • finir par, se retrouver avec / to end up with
  • lemme / lemma
  • par conséquent / consequently, thus, therefore, hence, so
  • par récurrence sur ... / by induction on ...
  • par exemple / for example, for instance, e.g. (latin for "exempli gratia")
  • puisque / since, as, inasmuch as, for
  • réciproque / converse
  • sans perte de généralité / without loss of generality (abbreviated wlog)
  • si, et seulement si (abrégé en ssi) / if, and only if (abbreviated iff)
  • soit (le triangle ABC) / let (ABC) be (a triangle)
  • supposer / to assume
  • supposition /assumption