It is not the case that P4 assumes a separation-style comprehension schema, but this presupposes a background domain of sets that is itself not justified by the argument.
?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.