User blog comment:Testitemqlstudop/FPT, large ordinals, ordinal FGH and a new Fundamental Sequence system/@comment-35470197-20191031122541/@comment-35470197-20191102074046

What does {α∈A:n@β→ψ_{α+1}(β)} precisely mean in your context? While {α∈A:formula} makes sense by comprehension schema, {α∈A:term} does not make sense.