I've taken some thought before asking this question as I thought it might be opinion-based, but I arrived at a formulation which I think is adequate for MSE. Therefore, here it is:
I've always had a problem with the statement "it is easy to see that...". This is something that not only is personal, but also time-dependent.
But I think that "it follows directly that..." is a statement that is more sound. Intuitively, I would say that "$X$ follows directly from $Y$ if we can go from $Y$ to $X$ by means of definitions only, i.e., with no theorems". Of course this is far from good, but encapsules the following idea:
One would like to say that, having defined that in a metric space:
$\lim x_n =x :\iff \forall \epsilon >0 ~\exists N :n >N \implies d(x_n,x)<\epsilon $
it follows directly that:
$\lim x_n=x \iff d(x_n,x) \rightarrow 0$
Of course, if we allow my naive definition to hold, anything that can be demonstrated would follow directly from the axioms (by allowing theorems to enter the proof sneakly in the form of conclusions). Therefore, I think it would be a good idea to refine the naive definition in the following way:
"$X$ follows directly from $Y$ if we can go from $Y$ to $X$ by means of definitions only, i.e., with no theorems, in less than an specified number $N$ of implications (say $N=5$, for example)".
I have no substantial knowledge of logic, so I would like to ask for an answer that doesn't assume much knowledge of the subject. But it is okay if that's not possible. The question is:
Is there a way to formalize the naive concept of "follows directly"?
PS: What I mean by a "theorem" is simply a statement labeled as "theorem" in a given text, for example.