"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 ($~$\{+,\dot,0,1\}$~$ and the logical symbols).
by Jaime Sevilla Molina Jul 20 2016
"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 ($~$\{+,\dot,0,1\}$~$ and the logical symbols).