更新时间：2026-07-12 12:38:12
求解答，词语「直觉主义逻辑」是什么意思？再说说直觉主义逻辑有什么含义？
直觉主义逻辑或构造性逻辑是最初由阿兰德·海廷开发的为鲁伊兹·布劳威尔的数学直觉主义计划提供形式基础的符号逻辑。这个系统保持跨越生成导出命题的变换的证实性而不是真理性。从实用的观点，也有使用直觉逻辑的强烈动机，因为它有存在性质，这使它还适合其他形式的数学构造主义。
欢迎使用深词马克汉语词典！我们致力于提供最全面的词语查询服务，包括成语、近义词、反义词、组词等。如有任何问题，欢迎联系我们。