Intuitionism questions the validity of law of excluded middle and the vaildity of indirect proof, and it indicates that classical logic is only a relative truth.

  • 它对排中律和间接证明方法有效性的质疑,揭示了经典逻辑只具有相对的真理性;
目录 查词历史