We consider functions of the following form where A is some set and N a natural number:
Let V be the vector space of all such functions. And let's look at operators  acting on V. First we could consider the Transposition operator
And if you think about it some more you notice that it is linear.
And if I am correct it is both Hermitian and orthogonal with the usual skalar product. This would mean that all the eigenvalues are either 1 or -1. Either way, we are interested in the eigenspaces corresponding to the eigenvalue -1, i.e. functions that are antisymmetric with respect to the transposition. The intersection of all these eigenspaces VA is the set of functions that are antisymmetric with respect to all the transpositions. It is a vector space since it is formed as a intersection of vector spaces.
All fermion wave functions that comply with the Pauli principle have to be taken out of this space.
Next it helps to be a little bit more general and to introduce the permuation operator (related to a permuation σ out of the symmetric group SN) as a generalization of the transposition operator
This operator is also linear and I think also Hermitian and orthogonal.
Then you could write the antisymmetric space also like this
Well let's define one more operator, the antisymmetrizer
You can show that this operator is a projection operator. This is equivalent to the condition that applying it twice is the same as applying it once, since the vector is already projected after the first time. The proof is also straight forward. Applying it twice leads to a double sum
But this just means that you sum n! times over all permutations, and it turns out
And next you could prove that the space it projects into, is just the VA we had before. You have to show that any projected function fullfils the condition for VA above and that every function which fullfills the condition remains unchanged which is both quite straight forward.
Maybe I should also add why these results are nice. I did have the expression for the Slater determinant before. But by considering that this is nothing but a (normalized) projection of an orbital product into the antisymmetric space it is easier to deal with it. It is no longer some weird expression but nothing but a linear operator. And things like adding Slater determinants are much clearer when you consider this. And that is why it is cool.
And actually as a next step you can consider commutation. These operators commute with the Hamiltonian because they are nothing but relabelling of equivalently treated electrons. Only for that reason you know that eingenfunctions of the Hamiltonian which are also antisymmetric even exist. You restrict the Hamiltonian eigenfunctions to the ones with a -1 eigenvalue of the antisymmetrizer. In the next step you may also do some restrictions according to spatial symmetry - the interacting spaces will transform like irreducible representations of the symmetry group. And finally spin. In the spin case the interacting spaces transform like representations of the unitary group (and I am kind of trying to understand why that is).
 Physically spoken N is the number of particles and A is the set of possible coordinates of the particle.
 As I probably said before: An operator is a function that makes a function out of a function. Or if you don't like the word "function", it is a mapping between two vector spaces.