[syzarian]

This is different than saying the definition of the reals is “vague”. The models and various definitions are not vague. They are as precise as the axioms of Euclidean geometry or any other axiomatic system. His objections are reasons why he doesn’t like the axioms. One can either accept or reject the axiomatic system but it isn’t vague.