Trying to understand that Archimedean Property is not expressible in first-order logic2026-04-01·Updated: 2026-08-08·767 words·4 minsMathematics Logic