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 its words.
A BaseFact is an expression of language defined to be True.
To prove that an expression of language is an Analytical Fact we confirm that there is a correct line-of-reasoning from one or more BaseFacts that make this expression necessarily True.
Since every Statement of language must be True or False and this is verified by proving that the statement is a Analytical Fact or contradicts an Analytical Fact all Statements of language can always be proved or disproved.
** Analytical means: a priori
Copyright Pete Olcott 2018