First-order logic itself presupposes a domain of quantification, which requires implicit set-theoret...