fēi luó jí gōng lǐ · ㄈㄟ ㄌㄨㄛˊ ㄐㄧˊ ㄍㄨㄥ ㄌㄧˇ · 更新 2026-06-29 19:21:36
非逻辑公理(non-logical axiom)亦称“专有公理”。用形式语言把一个理论写成形式系统时,除逻辑公理以外的初始公式。