The Mathematics of Second Quantization.