Exactly Solvable Models: the Road towards a Rigorous Treatment of Phase Transitions in Finite Systems I. Theoretical Description of Phase Transitions in Finite Systems