1: \begin{abstract}

2: A comprehensive and detailed account is presented for the finite-temperature many-body perturbation theory for electrons 

3: that expands in power series all thermodynamic functions on an equal footing. Algebraic recursions  in the style of the Rayleigh--Schr\"{o}dinger 

4: perturbation theory are derived for the grand potential, chemical potential, internal energy, and entropy in the grand canonical ensemble

5: and for the Helmholtz energy, internal energy, and entropy in the canonical ensemble, leading to their sum-over-states analytical formulas at any

6: arbitrary order. For the grand canonical ensemble, these sum-over-states formulas are systematically 

7: transformed to sum-over-orbitals reduced analytical formulas by the quantum-field-theoretical techniques 

8: of normal-ordered second quantization and Feynman diagrams extended

9: to finite temperature. It is found that the perturbation corrections to energies entering the recursions have to be treated as a nondiagonal matrix, whose off-diagonal

10: elements are generally nonzero within a subspace spanned by degenerate Slater determinants. They give rise to

11: a unique set of linked diagrams---renormalization diagrams---whose resolvent lines are displaced upwards, which are distinct from the well-known anomalous diagrams

12: of which one or more resolvent lines are erased. A linked-diagram theorem is introduced that proves the size-consistency of the finite-temperature many-body perturbation theory at any order. General-order algorithms implementing the recursions establish

13: the convergence of the perturbation series towards the finite-temperature full-configuration-interaction limit unless the series

14: diverges. Normal-ordered Hamiltonian at finite temperature sheds light on the relationship between the finite-temperature Hartree--Fock and first-order many-body

15: perturbation theories. 

16: \end{abstract}

17: