词语含义查询 · 在线释义
查询结果
céng huà · ㄘㄥˊ ㄏㄨㄚˋ
数据更新：2026-07-12 01:20:51
在数理逻辑中，层化是保证一个逻辑理论存在唯一形式释义的任何一致的数到谓词符号的指派。