逻辑中，层化是保证一个逻辑理论存在唯一形式释义的任何一致的数到谓词符号的指派。特别是，对于Horn子句理论，我们称一个理论是层化的，当且仅当有一个层化指派 S 满足下列条件:层化只保证 Horn 子句理论的唯一释义。它被蒯因 (1937年)用来解决罗素悖论，它破坏了弗雷格的中心着作《Grundgesetze der Arithmetik》 (1902年)。
在新基础中的层化.在带有等式和成员关系的一阶逻辑的语言中，一个公式 formula_3 对新基础和有关集合论被称为是层化的