It may be possible to make what he is doing more precise or more usable. If he’s objecting to impredicativity then maybe’s he be ok with ZFC or NBG but not KM? (I know that KM is proper with respect to NBG but don’t know much else about it. I’m not sure how relevant this is.)
It may be possible to make what he is doing more precise or more usable. If he’s objecting to impredicativity then maybe’s he be ok with ZFC or NBG but not KM? (I know that KM is proper with respect to NBG but don’t know much else about it. I’m not sure how relevant this is.)