Personally, I would go the route of proving that the partial transversals of a set system are the independent sets of a matroid. That any partial transversal can be extended to a maximal partial transversal follows from the fact that any independent set can be extended to a maximal independent set (i.e. a basis).
Here are is a paper (Bonin 2010) that gives two proofs of this theorem (see section 2.2 and theorem 2.2). The first is a proof using a matrix representation of a set system, and the second is a sketch of a proof using the idea of augmenting paths from matching theory.
I'll sketch the first proof. The idea is to represent the system with a matrix; each row corresponds to a set and each column an element. The $i, j$ entry is non-zero exactly if set $i$ contains element $j$. We call this nonzero value $x_{i, j}$; we think of the set of $x_{i, j}$ as formal variables, which functionally means we choose them to be algebraically independent values in some field. Regardless of the details, the point is to encode information about the set system into the relationship between the columns.
For example, when we take the determinant of a square submatrix, we get a sum of terms corresponding to partial transversals and their matchings. For instance, if a $2 \times 2$ submatrix has a term $x_{2, 1}x_{3, 5}$, there is a matching of the 1st and 5th element to the 2nd and 3rd sets, respectively. Therefore, a submatrix with nonzero determinant corresponds to a transversal of a subsystem of the set system. Again, the rows tell you what sets you've chosen and the columns tell you the elements in the transversal.
In other words, this shows that there's a correspondence between partial transversals and linearly-independent sets of columns in the matrix. This collection of linearly-independent sets of columns is a vector matroid; in fact, such a construction is the prototypical example of a matroid. Thus the partial transversals are the independent sets of a matroid.