层化

【词语拼音】céng huà

【词语繁体】層化

【词语结构】AB式词语

【词语字数】两字词语

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