> It's not a controversial point It's not important to the discussion at hand, but I enjoyed your wording here, because even though you're right, in a sense th

> It's not a controversial point It's not important to the discussion at hand, but I enjoyed your wording here, because even though you're right, in a sense this is one of the most controversial points in mathematics: https://en.m.wikipedia.org/wiki/Constructivism_(philosophy_of_mathematics) https://en.m.wikipedia.org/wiki/Constructivism_(philosophy_o...