释
非逻辑公理
fēi luó jí gōng lǐ · ㄈㄟ ㄌㄨㄛˊ ㄐㄧˊ ㄍㄨㄥ ㄌㄧˇ
修撰于 2026-07-01 09:45:15
音义
| 拼音 | fēi luó jí gōng lǐ |
|---|---|
| 字母 | fei luo ji gong li |
| 首字母 | fljgl |
| 注音 | ㄈㄟ ㄌㄨㄛˊ ㄐㄧˊ ㄍㄨㄥ ㄌㄧˇ |
| 注音符号 | ㄈㄟ ㄌㄨㄛ ㄐㄧ ㄍㄨㄥ ㄌㄧ |
广训
非逻辑公理（non-logical axiom）亦称“专有公理”。用形式语言把一个理论写成形式系统时，除逻辑公理以外的初始公式。
fēi luó jí gōng lǐ · ㄈㄟ ㄌㄨㄛˊ ㄐㄧˊ ㄍㄨㄥ ㄌㄧˇ
修撰于 2026-07-01 09:45:15
| 拼音 | fēi luó jí gōng lǐ |
|---|---|
| 字母 | fei luo ji gong li |
| 首字母 | fljgl |
| 注音 | ㄈㄟ ㄌㄨㄛˊ ㄐㄧˊ ㄍㄨㄥ ㄌㄧˇ |
| 注音符号 | ㄈㄟ ㄌㄨㄛ ㄐㄧ ㄍㄨㄥ ㄌㄧ |
非逻辑公理（non-logical axiom）亦称“专有公理”。用形式语言把一个理论写成形式系统时，除逻辑公理以外的初始公式。