I don't remember how I got this untheorem
idea, but I like it:
It has been postulated by my pseudo-intellectual
friends that the universe is so large and diverse that literally anything you can think of MUST exist somewhere, every unicorn
, billboard, useless website
, etc. This is a very welcome notion among sci-fi
Now avoiding the scientific aspect of this theory, I propose that we can prove it wrong inductively. I imagine that somewhere in the universe there is a person who can imagine something that does not exist. According to the theorem, this person MUST exist. Without knowing specifically what that non-existent thing is, I know that thing to be imaginable by a human, and therefore there is something that a person can imagine that does not exist somewhere in the universe, which contradicts the postulate.
There is a problem with this logic, but I'm not telling what it is. But even clean, formal logic is a slippery thing sometimes. Lewis Carroll once used it to prove that all dowagers are thistles.