A Statement in English is only known to be True when it is established to be a verified fact. An Analytical Fact is completely verified as True entirely based on the meaning of their words.
To prove that an expression of language is an Analytical Fact we confirm that there is a correct line-of-reasoning from other Analytical Facts that make this expression necessarily True.
False simply means contradicting an Analytic Fact. An Statement of language must be True or False or it is not a correct Statement.
Since every Analytic Statement of language must be True or False and this is verified by proving that the statement is an Analytic Fact or contradicts an Analytic Fact all Statements of language can always be proved or disproved.
Here is the plain English version of the proof that I am refuting: **
“The first incompleteness theorem states that in any consistent formal system F within which a certain amount of arithmetic can be carried out, there are statements of the language of F which can neither be proved nor disproved in F.”
**Stanford Encyclopedia of Philosophy Gödel’s Incompleteness Theorems.
All material besides the SEP quote is Copyright 2017, 2018 Pete Olcott