Does x correspond to a statement (as used in the previous sentence about expressiveness), or does the formula Prv(x) correspond to a statement?
What's the relationship between a formula and a statement?
"Formula" and "Statement" can be interchanged freely.
Both refer to well-formed strings in the language of interest, in this case the language of arithmetic ({+,˙,0,1} and the logical symbols).
Does x correspond to a statement (as used in the previous sentence about expressiveness), or does the formula Prv(x) correspond to a statement?
What's the relationship between a formula and a statement?
"Formula" and "Statement" can be interchanged freely.
Both refer to well-formed strings in the language of interest, in this case the language of arithmetic ({+,˙,0,1} and the logical symbols).