Construction of Picard group and set theoretic issue. I am currently learning Algebraic geometry and I came over something that is bothering me. 
I have an algebraic variety and the Picard group over it is defined as the set of classes of line bundles quotiented by the the relation of being isomorphic. 
First of all it seems to me that these classes are actually proper classes and not sets, since I can equip almost any set that has the right cardinal with a structure of line bundle over a given variety. How can I collect them then into a set if they are in fact proper classes?
And even if I do, how can I guarantee that I actually won't get a proper class?
 A: The first difficulty is handled by Scott's trick: given a class $K$, let $\alpha$ be the smallest ordinal such that there are elements of $K$ of rank $\alpha$ (that is, in $V_\alpha$); then we can think instead of the set $K\cap V_\alpha$. This gives a canonical way of describing an equivalence (proper) class, without having to pick representatives.
So Scott's trick lets us replace each equivalence (proper) class with a set. Now we just need to count those sets. Since the powerset of $V_\alpha$ is again a set, it's enough to show that every line bundle has an isomorphic bundle of low rank; specifically, that there is some fixed $\alpha$ such that every line bundle over $X$ is isomorphic to one in $V_\alpha$. But this isn't hard to do; the space $X$ and the field $k$ lie in some $V_\beta$, the underlying set of the total space of a line bundle can be thought of as $k\times X$ (namely: for any line bundle, there's an isomorphic one with total space $k\times X$), and the additional data consists of some maps and some sets, all of which will have rank at most $\beta+3$ (my counting might be off by $1$ but oh well).
In particular, the Picard group can be taken to have underlying set consisting of a bunch of subsets of $V_\alpha$, which are the intersections of equivalence (proper) classes with $V_\alpha$, for $\alpha$ of appropriately high rank.
A: You can fix a set of a certain cardinal and only look for line bundles whose underlying set is a subset of that set. $\Bbb R$ is probably enough most of the time.
A: This is a common issue you will have to get used to. It's similar to the observation that zero-dimensional $k$-vector spaces are a proper class, because for any set $A$ we can give $\lbrace A\rbrace$ the structure of a $k$-vector space.
However up to isomorphisms you of course obtain an actual set.
Ususally this is resolved by taking Grothendieck universes. This has the disadvantage that it assumes the existence of certain cardinals, whose existence is supposed to be independent of ZFC. So in order to do this properly you have to add one axiom to your set theory.
