层化

概述

在数理逻辑中,层化是保证一个逻辑理论存在唯一形式释义的任何一致的数到谓词符号的指派。

2 扩展释义

在数理逻辑中,层化是保证一个逻辑理论存在唯一形式释义的任何一致的数到谓词符号的指派。

9 词语组词

相关词条

本词条最后更新于 2026-07-11 08:43:31