{"id":"arxiv/2607.05838","url":"https://arxiv.org/abs/2607.05838","tags":["math.HO"],"score":0,"title":"The Pirahã and the cognitive gap in Frege's theorem: Hume's principle without the #","domain":"math.HO","source":"arxiv","authors":["Subrata Pal"],"reviews":0,"subject":"math.HO","summary":"Frege's theorem proves that Hume's principle, in second-order logic, yields all of arithmetic. Yet the Pirahã people show one-to-one correspondence (equinumerosity) only where pairing can be enacted, with its range extended under local training, and still have no counting or arithmetic. We argue this is not a paradox but a matter of precise localization. Hume's principle includes a cardinality operator # that names cardinals as objects (often modeled as equivalence classes of equinumerous concepts), and what the Pirahã lack is not the relation but this operator. We identify the number-word…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-07","reactions":{}}