非逻辑公理

概述

非逻辑公理(non-logical axiom)亦称“专有公理”。用形式语言把一个理论写成形式系统时,除逻辑公理以外的初始公式。

2 扩展释义

非逻辑公理(non-logical axiom)亦称“专有公理”。用形式语言把一个理论写成形式系统时,除逻辑公理以外的初始公式。

9 词语组词

相关词条

本词条最后更新于 2026-07-10 23:06:28