多値論理は存在「する」のだろうか、「しない」のだろうか　←ここで２値論理を使っている！
↓
多値論理を存在すると仮定しよう
↓
以下、略

ようするに多値論理は２値論理を出発点にしないと
存在しえないものなのです。
多値論理は存在しないのです。
ものごとは真か偽の２個しかないのです。