The single axiom schema expressing the minimality of the truth predicate allows one to embed into μKF the system ID1 of one arithmetical inductive definition, an impredicative theory.
More precisely, they attempted to construct a derivation of arithmetical principles from definitions of arithmetical concepts, using only logical laws.
Of course solving arithmetical problems in arithmetic is in some cases practically impossible.
Then Kurt Gödel proved that there exist arithmetical statements that are undecidable in Peano Arithmetic (Gödel 1931).
This model deals with an arithmetic word problem that is solved using only one arithmetical operation.
Traditional definitions of the surface roughness usually contain only local and one-dimensional information, and the arithmetical mean error Ra is regarded as the unique evaluation indices [29].
The Neo-Fregean seeks to defend arithmetical platonism and logicism by taking a different tack: Hume's Principle by itself is taken to provide a contextual definition of numbers.
He calls that arithmetical.
"It's an arithmetical fact".
Once again numbers, arithmetical language.
