A different and more elegant way to express Maxwell's equations by using the:instead of the:
There are several choices of electromagnetic four-potential that lead to the same physics.
E.g. thinking about the electric potential alone, you could set the zero anywhere, and everything would remain be the same.
The Lorentz gauge is just one such choice. It is however a very popular one, because it is also manifestly Lorentz invariant.
As seen from explicit scalar form of the Maxwell's equations, this expands to 8 equations, so the question arises if the system is over-determined because it only has 6 functions to be determined.
As explained on the Wikipedia page however, this is not the case, because if the first two equations hold for the initial condition, then the othe six equations imply that they also hold for all time, so they can be essentially omitted.
It is also worth noting that the first two equations don't involve time derivatives. Therefore, they can be seen as spacial constraints.
TODO: the electric field and magnetic field can be expressed in terms of the electric potential and magnetic vector potential. So then we only need 4 variables?