海词手机词典
  • 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.

    播放读音 播放读音