Towards the rigorous theory of phase transitions in continuous systems