The true statement of Pauli says something quite different: Any pure $n$-electron state is represented by a wave function of $n$ 3-d space variables, that is completely antisymmetric on all $n$ entries.
For two electrons it reads: Any state function has symmetry
$$\psi(x_1,x_2) = - \psi(x_2,x_1)$$.
That means for 2 free electrons, that product states
$$\psi(x_1,x_2) = a(x_1) b(x_2)$$
with any $a,b$ are not allowed, only antisymmetric pairs are possible
$$\psi(x_1,x_2) = a(x_1) b(x_2)-b(x_1) a(x_2)$$.
States with any two equal factors do not exist.
This statement still seems to assume, that the electron coordinates can be numbered. But this is false categorically for identical particles. Enumeration is a mathematical vehicle only in the same sense as enumeration of the base in a vector space. Any observable entity is invariant with respect to permutation of the particle indices.
Now is coming in some fundmentals about Hilbert spaces: All Hilbert spaces with denumerable basis are isomorphic. Even states with denumerable particles have a state space, that is isomorphic to the simple Hilbert space of the one-dimensional harmonic oscillator.
By this simple statement, any n-particle state can be expanded in the product of 3n identical Hilbert spaces, eg of the oscillator, that has to be completely antisymmetric with respect to the permutation of the n groups of three coordinates belonging to one particle.
This amounts to saying: in expansions in any basis of one-particle Hilbert spaces no two factors can be equal.
What does it say with respect to the occupation of space? Two electrons far away from each other have orthogonal states by inspection. Symmetry does not play any role (fortunately, as the QM-fathers mentioned, we must not antsymmetrize with alle the electrons behind the moon).
If they are near to eachother in uits of the fundamental Compton wave length, the two state factors have to be orthogonal in Hilbert space. That means eg. in a box different wavelengths. And that means that adding another electron it has to be inserted into a higher energy state. The energy can be lowered by enlarging the box. In this sense the Pauli principle makes solid bodies with a definite volume for its light fermionic particles at low temperatures. The heavy ions in molecules and solids have much shorter Compton wave lenght and are always far apart from eachother, $H_+$-ions as an exception.