シークエント
歴史的には、シークエントはゲルハルト・ゲンツェンがシークエント計算を記述するのに導入したものであった。ドイツ語で書かれた彼の論文では、"Sequenz" という単語が使われていた。しかし、その英訳である "sequence" は、ドイツ語での "Folge" の訳として数学で広く使われていた。そこで、ドイツ語の "Sequenz" の訳語として "Sequent" という言葉が生み出された。