非逻辑公理
用形式语言把一个理论写成形式系统时除逻辑公理以外的初始公式
非逻辑公理（non-logical axiom）亦称“专有公理”。用形式语言把一个理论写成形式系统时，除逻辑公理以外的初始公式。
参考资料
最新修订时间：2024-02-20 22:59
条目作者
小编
目录
概述
参考资料

Copyright©2024 闽ICP备2024072939号-1