On the theory of terminal value problems for ordinary differential equations