"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).