Talk:Elementary function arithmetic

Example needed of a true but unprovable artificial arithmetic statement
In the section "Friedman's grand conjecture", the following statement appears: "… it is easy to construct artificial arithmetical statements that are true but not provable in EFA …" However, it is not obvious – even to a mathematician! – So this assertion is crying out for an example of such an unprovable, true, artificial statement in EFA, and I have flagged it "example needed" (which links to the WP:AUDIENCE section, part of a supplement to the WP:Manual of Style). yoyo (talk) 13:24, 5 November 2017 (UTC)
 * 1) exactly what is intended by the epithet "artificial" in the context of "arithmetical statements"; or
 * 2) that "it is easy to construct" such statements, especially when further restricted to being "true but not provable …".