Russell's paradox
层化只保证 Horn 子句理论的唯一释义。它被蒯因 (1937年)用来解决罗素悖论，它破坏了弗雷格的中心著作《Grundgesetze der Arithmetik》 (1902年)。