I think it was Bachman (or Bolzano or Stevin) who defined real numbers as being nested intervals, which leads me to wonder if nested circles or disks could be used to define points in plane geometry.
Then I recalled, or thought that I did, that Tarski had done something similar with spheres for 3D geometry using mereology as his underlying logic.
Could one use circles as the primitive concept to found plane geometry, and just what did Tarski do?
-- Going forward at this moment in time a raft of measures have been put in place on the ground to target and claw back the growth of cliche usage 24/7. Remove "antispam" and ".invalid" for e-mail address.