A recent question: Calculus for Higher Order Logic has me wondering (and I honestly don't have a strong opinion on it either way).
We do answer a lot of questions with the logic tag here on philosophy.se. And one thing I like about those questions is that many of them are answerable. (Unfortunately, we also get some recurring questions about validity / soundness/ truth that should be marked dupe).
Many of the logic questions we answer are the sort one would encounter in a intro to logic course in philosophy. To me that makes those on topic. Similarly, we get some more advanced logic question about modal logic that are also commonly addressed in academic philosophy.
This particular question, however, seems different from those. This question reminds me of Introduction to Analysis and seems like something that gets rigorous treatment related to the ZF set and Peano arithmetic. Thus, it seems more like something one would learn as a fundamental in college math rather than a question about the nature of math (which would make it philosophy of math).
I'm not a specialist in philosophy of math nor do I have an advanced degree in math. Do we want to set some limits for questions about or in mathematical logic? Are they a better fit here or on one of the math-related SEs?