层化

概述

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

2百科释义

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

9词语组词

相关词条

本词条最后更新于 2026-06-29 21:32:12