Title: Systems of notations and the constructible hierarchy
Subjects: Hierarchies, Mathematical notation