[FOM] FFF

[Thomas Forster]

`FFF' is the TLA for Friedman's Finite Form of Kruskal's
tree theorem (trees over a WQO)

   I'm steeling myself to lecture WQO theory next term, and 
i discover in my notes the bold assertion that FFF is the
earliest example of a simple arithmetical assertion not provable 
in (for example) PA - that is  **mathematically natural**

   This is true isn't it?  Or have my ageing neurons let another
piece of history slip through their grasp?

       Thomas