[FOM] Solution (?) to Mathematical Certainty Problem

[Freek Wiedijk]

Harvey Friedman:

>create files purporting to be formal proofs in T appended with what I 
>call an "extreme annotation".

What you call "extreme annotation" often is called "proof object".

Freek Wiedijk