The Pirahã and the cognitive gap in Frege's theorem: Hume's principle without the #

Subrata Pal

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 pai…