Second-order logic's quantification over all subsets is a semantic stipulation, not an ontological g...