非逻辑公理

拼音fēi luó jí gōng lǐ 注音ㄈㄟ ㄌㄨㄛˊ ㄐㄧˊ ㄍㄨㄥ ㄌㄧˇ 更新2026-07-27 12:31:31
读音信息
拼音字母
fei luo ji gong li
拼音首字母
fljgl
注音符号
ㄈㄟ ㄌㄨㄛ ㄐㄧ ㄍㄨㄥ ㄌㄧ
注音首字母
ㄈㄌㄐㄍㄌ
百科释义

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