Implications of the axiom of limitation of size