These justifications of axioms 3 and 4 don’t really work together; according to the first one, we shouldn’t declare any property perfect before establishing it’s possible for an object satisfying it to exist, and then in Axiom 4 we do just that.
These justifications of axioms 3 and 4 don’t really work together; according to the first one, we shouldn’t declare any property perfect before establishing it’s possible for an object satisfying it to exist, and then in Axiom 4 we do just that.