Stronger and weaker statements

Question

I have often seen expressions like "this statement is stronger (or weaker) than that". I know what it means. If $A\Rightarrow B$ but $B\nRightarrow A$, then $A$ is stronger than $B$.

But from time to time I read sentences like, say, "Picard's theorem is stronger than Liouville's theorem". But both theorems are true, so they are logically equivalent. Yeah, Picard's theorem is much harder to prove and it implies Liouville's easily. But I find one just as strong as the other.

My question: is there a serious definition of the terms 'strong' and 'weak' in maths, or are they just a way to speak?

Answer 1

In this context, it means that the second statement follows easily from the first one, but the first one is not a consequence of the second one.

Answer 2

Picard's theorem and Liouville's theorem are equivalent in the sense that they have the same truth value, which is all that we require for two statements to be equivalent.

There is a subtle difference in what we mean when we say "the theorem A is stronger than the theorem B," and "the statement A is stronger than B."

You might object that these are the same, but this is a matter of terminology, and the word "strong" is used differently depending on the context.

"the theorem A is stronger than the theorem B" means "A has a better/more powerful conclusion and/or less stringent hypotheses."

"the statement A is stronger than B" means what you've said in your post: A implies B, but B does not imply A.