Metadata
Author: LASER-wikipedia2
Data
French[fr]
Il a été initialement prouvé par Gerhard Gentzen en 1934 dans son article historique « Investigations in Logical Deduction » pour les systèmes LJ et LK formalisant la logique intuitionniste et classique, respectivement.
Japanese[ja]
ゲルハルト・ゲンツェンが1934年に書いた記念碑的論文 "Investigations into Logical Deduction" で、古典論理と直観論理の体系をそれぞれ形式化したシークエント計算の形式的体系 LK 及び LJ において、最初に証明が与えられた。