Rang de Quantificateur

La profondeur maximale d'imbrication des quantificateurs (existentiels ou universels) dans une formule logique ; une mesure syntaxique utilisée pour quantifier la complexité des formules et souvent employée en théorie des modèles et dans des approximations sur modèles finis.