Anti-commutation relations, Pauli exclusion principle, mode expansion of a Dirac spinor field, fermionic harmonic oscillator, zero-point energy, single-particle states, charge, Feynman propagator of Dirac fields