非逻辑公理

概述

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

2百科释义

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

9词语组词

相关词条

本词条最后更新于 2026-07-01 04:23:08