It is not the case that Many core mathematical structures (real numbers, function spaces) have natural impredicative definitions that resist awkward predicative reformulations.
?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.