@soaproot Heh! I thought about including some things like that from math, but I didn't feel I had enough expertise to be sure about what was and wasn't settled these days. Unlike other fields, math has gone through some cycles of taking care of deferred maintenance -- you know, things like re-establishing calculus on more rigorous basis than its originators had ever bothered with, and the adoption of ZF[C] as a foundational framework. Maybe there are other examples too (https://en.wikipedia.org/wiki/Foundations_of_mathematics#Foundational_crisis for those keeping score at home).
Math is special, quite unlike other fields in its hypertrophied attention to definitional rigor. To provide an example in mathematics, I would have had to get a Ph.D. first, and, you know, it was just one Fediverse post, so was it really worth half a decade in graduate school? Some might answer "yes" to that question, and, indeed, I'm not sure that the answer is "no", but... it was late and I just wanted to hit Submit.