2025:

@Daojoan
So with ice cream anything is possible - so "no ice cream" must be possible. But without ice cream not anything is possible, so "no ice cream" is not possible (assumption; proof is left to the interested reader).

So there must be ice cream so that "no ice cream" is possible!

Q.E.D.

😜🤣

@lerothas @Daojoan Well, see, if you discount the negative as it would be a contradiction, then it stands to reason that only with ice cream is ice cream possible. This is self-evident. Since we do not have ice cream, we cannot test the rest of the claim, thus the power of ice cream is a matter of faith, and as you say left as an exercise to the reader. Therefore: go forth and get some ice cream and thus make the impossible possible. 😁