wikipediaによると系3.12の終りにある証明のギャップがディスカッションを経た後でも解消されていない、というのが反論者の言で、この記事によれば反論者らはどうやら系3.11にでてきたandとorの論理演算子の取り違えによってそのような認識をしているのではないか？というのが1年半かかってようやくわかった　とのこと