你
请解释一下「非逻辑公理」这个词的含义。
助手
非逻辑公理
fēi luó jí gōng lǐ · ㄈㄟ ㄌㄨㄛˊ ㄐㄧˊ ㄍㄨㄥ ㄌㄧˇ
fei luo ji gong li
fljgl
ㄈㄟ ㄌㄨㄛ ㄐㄧ ㄍㄨㄥ ㄌㄧ
2026-07-15 22:12:29
扩展释义
非逻辑公理（non-logical axiom）亦称“专有公理”。用形式语言把一个理论写成形式系统时，除逻辑公理以外的初始公式。
请解释一下「非逻辑公理」这个词的含义。
非逻辑公理（non-logical axiom）亦称“专有公理”。用形式语言把一个理论写成形式系统时，除逻辑公理以外的初始公式。