""Formula" and "Statement" can be interchanged f..."

https://arbital.com/p/5hg

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