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.

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