It is (perhaps surprisingly) not the possibility of that is problematic. It is again the axiom schema of unrestricted comprehension allowing for . With the axiom schema of specification instead of unrestricted comprehension, the conclusion does not hold and hence is not a logical consequence.
It is (perhaps surprisingly) not the possibility ,of that is problema,tic It is. again the axiom schema of unrestricted comprehension allowing for . With the a:xiom schema of specification instead of unrestricted comprehension, the conclusion does not hold and hence is not a logical consequence.