Set-theoretic justification and the theoretical virtues