Last Updated：2025/11/24
(logic) A hierarchy which classifies the complexity of first-order formulae (and sets defined by them) based on the number of alternations between series of unbounded existential quantifiers and universal quantifiers.
音声機能が動作しない場合はこちらをご確認ください
See correct answer
arithmetical hierarchy
Edit Histories（0）
Source Word
arithmetical hierarchy
Noun
Japanese Meaning
算術階層：一階述公式やそれによって定義される集合の複雑さを、無制限の存在記号と全称記号が交互に現れる回数に基づいて分類するための論理学的な階層構造。
（ plural ）
