Extra
上位词
精选上位词
层化
简介
在数理逻辑中,层化是保证一个逻辑理论存在唯一形式释义的任何一致的数到谓词符号的指派。
| 中文名 | 层化 |
|---|---|
| 原始名称 | 层化 |
| 外文名 | stratification |
| 定义 | 保证逻辑理论存在唯一形式释义 |
| 应用学科 | 数理逻辑 |
| 所属领域 | 数学和天文学 |
| 英文名 | stratification |