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.
英
美
- 它对排中律和间接证明方法有效性的质疑,揭示了经典逻辑只具有相对的真理性;