[FOM] Fact and opinion in F.O.M.

[Timothy Y. Chow]

Joe Shipman wrote:
> At the moment, there aren’t any propositions other than arithmetical 
> consequences of ZF that I would be willing to assert are “mathematical 
> facts”, but I’d be happy to have someone argue either that some such are 
> not facts, or that some non-arithmetical statements are matters of fact.

I wonder if someone familiar with Feferman's account of a "definite 
mathematical question" can give an explicit example of a non-arithmetical 
statement that Feferman would have considered a "definite mathematical 
question"?

Tim