网站首页 词典首页
数理逻辑和数学基础研究中的一种学派，主要代表是荷兰的布劳维尔。认为数的认识不依赖于逻辑和经验，它的唯一来源是数学中所固有的带有构造性的一种直觉。排斥没有能行性的证明，否定排中律的普遍应用。认为对于一个对象，仅证明它存在是不够的，还必须用一种能行的方法具体地将它构造出来。参见“布劳维尔”。
见“逻辑学”中的“直觉主义逻辑学派”。
文网收录3541549条中英文词条，其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似，基本涵盖了全部常用中英文字词句的读音、释义及用法，是语言学习和写作的有利工具。