非逻辑公理（non-logical axiom）亦称“专有公理”。用形式语言把一个理论写成形式系统时，除逻辑公理以外的初始公式。
欢迎使用翰思网词语词典！我们致力于为您提供最准确的汉语词语解释、成语故事、近义词反义词对比及组词参考。专业团队维护，数据持续扩充，助您畅游中文世界。