Oh and I’m not talking about true or false in terms of provability (necessarily), don’t forget that there is a semantic theory of truth for formal languages called model theory. Falsification or verification of a statement from a language by semantic means works just as well.
Oh and I’m not talking about true or false in terms of provability (necessarily), don’t forget that there is a semantic theory of truth for formal languages called model theory. Falsification or verification of a statement from a language by semantic means works just as well.