I was guilty of asking that question, 3+2=5. It does appear to be philosophy, so thanks for bringing this up. I have now posed a thought-experiment in the main Maths stack. I think it is precise enough, but it might be criticised as being "philosophy". I have been a maths teacher. I don't see it as philosophy, but practical in terms of what we are doing when we do maths, and has direct educational application, as well as implications in AI. Perhaps the thought-experiments are better placed here...?