[FOM] Fwd: The Gold Standard (correction)

[Andrew Boucher]

>

I wrote
> This system G develops a large amount of arithmetic - prime number  
> theorem, quadratic reciprocity.

Instead of "prime number theorem" I meant to say "fundamental theorem  
of arithmetic (existence and uniqueness of prime factorization)".    
It seems to be an open problem whether G can prove the prime number  
theorem.