It is not the case that Kreisel demonstrated that the informal notion of 'constructive ordinal' resists full formalization within any single accepted theory, making the ascending condition semantically indeterminate.
?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.