It is not the case that Kreisel's informal rigour argument establishes that the intended meaning of intuitionistic quantifiers cannot be fully captured by any formal recursive proof calculus.
?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.