@amiloradovsky@functional.cafe

Yes, that is indeed the part I did not explore, any sort of alternatives for that reasoning. Even in the simplest (obvious) cases, something like babylonian method, I haven't gone far enough to devise any sort of theory for those quantities. My only hope at this point is that I might find something like that in Wildberger's lectures...

And yes, I was arguing about some minor sub point of yours about upper limit of abstraction height, pretty much out of context, to... cheer up people(all 0 of them reading) who like high abstractions?