Trying to understand that Archimedean Property is not expressible in first-order logic2026-04-01·756 words·4 minsMathematics Logic