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