The OP requests a formal proof, using Stokes vector and Mueller calculus formalism, as to whether stacking polarizers either does (or does not) theoretically improve the extinction ratio of a light source, e.g., a laser diode. Issues arising in practice, such as light scattering, reflection at interfaces, polarizer imperfections, depolarization, and so on, are to be neglected.
To begin, figure 1 shows the posited optical component train and the relevant Mueller calculus calculation that would be used to compute (manually) the output Stokes vector at G:

The manual computation is straightforward, albeit a bit tedious, once the Mueller matrices for the linear polarizers have their requisite x and y transmittances specified. This is discussed below, in connection with the extinction ratio, $\epsilon$.
Now consider figure 2, which shows the assumed Mueller matrix for the linear polarizers and the dialog box for the polarizer block in my optical calculus software used to perform the non-manual computations:

The polarizer Mueller matrix is that of an ideal linear dichroism optical element. It is widely used to model ideal linear polarizer optical elements, as per Shurcliff, Kliger et al., and Jensen et al. As a convenience, two addendum figures, after the references, explicitly show the matrices used by the listed authors.
Note that the software polarizer block, that evaluates the polarizer’s Mueller matrix, allows for user-specification of the x and y transmittances. It also has a convenience checkbox that can be used to render the block transparent, i.e, the block then would simply transmit through whatever input it received. This facilitates trial removal of inline optical components.
Figure 3 shows how the laser light source is modeled as a unit intensity unpolarized Stokes vector followed by a non-ideal x-oriented linear polarizer having extinction ratio, $\epsilon$, defined as shown in the figure. This definition, which will be used throughout what follows, has long been in common usage and is found in, e.g., the reference by Kliger et al. on page 30. Note that $\epsilon$ ranges from 0, for an ideal polarizer, to 1, for non-polarizing. In the laser model, the non-ideal x polarizer was used to produce an output Stokes vector with $\epsilon = 0.01$, as explained below. The remaining blocks simply verify that the $\epsilon$ value is as specified. This is done by processing the laser output Stokes vector through orthogonal ideal analyzers and calculating the quotient of the light intensities they transmit.

It is also common to define $\epsilon$ as the reciprocal quantity, as per the link proved by the OP. Accordingly, such extinction ratios range from 1, for non-polarizing, to infinity, for an ideal polarizer. This alternative definition will not be used herein.
The figure shows how the model of the laser is formulated and processed via optical calculus modeling software. The output of the laser is shown in the software’s Stokes vector sink dialog box. The exact Stokes vector of the laser output is shown to the left of the dialog box. It is easily calculated manually, as shown in the Mueller calculus expressions in figure 4:

The figure shows that obtaining a given $\epsilon$ is simply a matter of specifying a y component intensity that is $\epsilon$ times the intensity of the x component of the non-ideal x polarizer. With x + y = 1 and $\epsilon = 0.01$, this yields x = 100/101 and y = 1/101. The laser output Stokes vector is used in all subsequent calculations.
The degree of polarization, P, is a measure of polarization purity. It ranges from 0, for unpolarized light, to unity, for perfectly polarized light. The laser output Stokes vector has P = 99/101, as shown in the figure.
With the above preliminaries out of the way, the question is now this: what will happen to the degree of polarization if 1, 2, or 3 good polarizers (i.e., all with $\epsilon = 0.00001$) are added after the light source in an attempt to improve the polarization of the light source?
To answer this, consider figure 5:

To perform the optical calculus computation via the software, all that is necessary is to add another Stokes vector sink at the output of polarizer E. Then the simulation is run multiple times, with polarizer D (or both D and E) made transparent via their respective dialog box checkboxes.
The results are shown in figure 5. After polarizer C, the degree of polarization is high and the intensity of y polarized light is very low. Adding one or two more polarizers has only a very small positive effect. The effects are so small as to be negligible.
In a real system, a variety of non-idealities usually exist and these often cause significant departures from idealized modeled behavior. Mueller matrices (and Jones matrices) have demonstrated their utility, effectiveness and value over many decades, but they cannot perfectly model real optical elements such as polarizers. In particular, these calculuses assume individual light rays, not bundles of light rays. So they require homogeneous optical media. The typical tabulated matrices neglect scattering, reflections, depolarization, and so on, that real optical media exhibit. It is always possible to construct ever more complex matrices and models, in an attempt to achieve maximum verisimilitude, but this is ultimately futile, for two reasons:
As statistician George Box famously stated, in slightly variant ways over the years, “all models are wrong, but some models are useful.”
The Bonini paradox arises: the more complicated the model is made, the less understandable it becomes.
So it is futile, in general, to try to make a grand “everything plus the kitchen sink” optical calculus matrix. A more productive route is to size up the various complexities and deal with the most relevant of them, neglecting the rest.
References for the Mueller matrices for the ideal and non-ideal x polarizers:
H.P. Jensen, J.A. Schellman, T. Troxell, “Modulation Techniques in Polarization Spectroscopy”, Applied Spectroscopy, 32 (1978) 192-200. Table IV with only LD > 0. (LD stands for linear dichroism, as used in the paper.)
W.A. Shurcliff, Polarized Light, Harvard University Press, Cambridge, MA, 1962. Page 166 for ideal polarizers and page 168 for “Other polarizers”.
D.S. Kliger, J.W. Lewis, C.E. Randall, “Polarized Light in Optics and Spectroscopy”, 1st ed., Academic Press, Boston, MA, 1990. Page 285 for ideal polarizers and page 290 for Linear Dichroism matrices.
Addendum figures:

and
