FOM: ultrafinitism again

[Harvey Friedman]

Reply to Kanovei 6:42PM 11/10/00:

>I began by the claim that (ontologically) there is NO
>mathematical statement true but not provable.

Are you claiming that "every true mathematical statement is provable"? If
you are making this claim, then you should clarify what provability means
here. Provable by what means?

If you are instead claiming that

"every mathematical statement proved to be true is provable"

then this is clear.