入力されたワードを説明してください。
解析的階層
数理論理学や記述集合論において、解析的階層は算術的階層の拡張である。論理式の解析的階層には二階算術の言語による式が含まれ、すなわち、自然数全体の集合 formula_1 をわたる量化とformula_1 から formula_1 への関数全体をわたる量化を持つものが含まれる。集合の解析的階層は、集合を定義するのに使える論理式によって集合を分類するもので、射影階層の細字版である。