Another corollary is that the complete free lattice (on three or more generators) "does not exist", in the sense that it is a proper class. The proof of this follows from the word problem as well.
A further implication is that there is no complete free lattice on three or more generators; this conclusion stems from the word problem.