FOM: Goedel: truth and misinterpretations

[Kanovei]

> Date: Wed, 01 Nov 2000 08:07:48 +0100
> From: Torkel Franzen <torkel at sm.luth.se>
> 
>    (2) Even if every even number greater than 2 is the sum of two
>        primes, this is not necessarily provable in ZFC.

Mathematically, (2) is meaningless (and basically shows that 
he who writes (2) either has no proper idea of mathematics at all 
or does not bother to present his ideas in proper form). 

Indeed, "A is not necessarily B" means, in standard mathematical 
language, that there is an example of A which does not belong to B, 
e.g. "an arbitrary group IS NOT NECESSARILY an abelian group". 
In principle, this goes back to Aristotelian foundations of logic, 
any A is B, not any A is B, etc., do you remember ?

Why don't you explain what you really mean ? 
 
V.Kanovei