算術的階層
算術的階層(さんじゅつてきかいそう、英: Arithmetical hierarchy)は、数理論理学において、集合を定義する式の複雑さに基づいて、その集合を分類した階層である。クリーネ階層(Kleene hierarchy)とも。このような分類が可能な集合は算術的である。
算術的階層は、再帰理論やペアノ算術のような形式理論の研究で重要である。
算術的階層での式や集合の分類の拡張として、超算術的階層や解析的階層がある。