※この記事は「記事10 問題集8」シーケントはゲンツェンにより導入された概念であり、（数学の一分野としての）論理が扱う主要な対象物（のひとつ）である。論理式が論理の主役なのではない。 論理式は、論理式のリストを構成する素材に過ぎない。 論理式のリ…