The cardinality count of second-order sentences presupposes a fixed background set theory, but set-t...