#101#21 hay varias formas para demostrar que algo no existe. Por ejemplo, asumes que existe y si eso te lleva a una contradicción es que no existe. Por ejemplo, para demostrar que no existe una categoría de gatos en menéame, asumo que sí existe una categoría de gatos en menéame. Si miro la lista de todas las categorías no sale "gatos", cosa que contradice que esa sea la lista de todas las categorías, porque "gatos" no está. Ergo, no hay categoría de gatos en menéame (es duro, pero es así).
Otra forma es decir "no, no y que no", o usar el teorema del punto pelota.
Otra forma es decir "no, no y que no", o usar el teorema del punto pelota.