古典論理で成立して直観主義論理では成立しない定理