Is it unreasonable of me to be annoyed at that kind of writing?
If I understand what’s going on correctly, you have a real-indexed schema of axioms and each of them is in your system.
When I read the axiom list the first time I saw that the letters were free variables (in the language you and I are writing in) and assumed that you did not intend for them to be free variables in the formula. My suggestion of how to bind the variables (in the language we are writing in) was (very) wrong, but I still think that it’s unclear as written.
Is it unreasonable of me to be annoyed at that kind of writing?
If I understand what’s going on correctly, you have a real-indexed schema of axioms and each of them is in your system.
When I read the axiom list the first time I saw that the letters were free variables (in the language you and I are writing in) and assumed that you did not intend for them to be free variables in the formula. My suggestion of how to bind the variables (in the language we are writing in) was (very) wrong, but I still think that it’s unclear as written.
Am I confused?
No, it’s perhaps not the best explained post I’ve done. Though it was intended more for technical purposes.
Not any more, I hope!