  We expose some ideas from mathematical logics, i.e. the background of the
theory of o-minimal structures, and demonstrate how they lead to the notion of
a tame integral of motion and some extensions and clarifications of previous
results on obstructions to integrability of geodesic flows.
