It is not the case that Feferman demonstrated that the mathematics needed for physical science is fully formalizable in predicative systems far weaker than ZFC.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.