Per l'insieme vuoto tutte le p(x) sono vere.

[Schiele.]

Che per l'insieme vuoto tutte le proprietá valgano l'ho sempre presa come una cosa vera per convenzione, non gli ho mai dato un reale significato. È inutile esibire formule di implicazioni, in quanto il vuoto non ha elementi. È insensato dire ''per far vedere che non vale dovrei trovare un elemento che non verifichi la proprietá, ma il vuoto non ha elementi'' perchè è come dire ''è vero che nel nulla c'è un orso blu. Se non fosse vero, dovrei trovare un orso nel nulla che non è blu. Ma nel nulla non ci sono orsi''. Cosa ne pensate?