层化

基本属性

• 拼音字母ceng hua
• 拼音首字母ch
• 注音符号ㄘㄥ ㄏㄨㄚ

扩展释义

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