FOM: Goedel: truth and misinterpretations

Kanovei kanovei at
Wed Nov 1 14:57:04 EST 2000

> Date: Wed, 01 Nov 2000 08:07:48 +0100
> From: Torkel Franzen <torkel at>
>    (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 ? 

More information about the FOM mailing list