text: In quanto tale, è la patria dei teoremi di incompletezza di Gödel, che (informalmente) implicano che qualsiasi sistema formale efficace che contenga l’aritmetica di base, se è solido (nel senso che tutti i teoremi che possono essere dimostrati sono veri), è necessariamente incompleto (nel senso che ci sono teoremi veri che non possono essere dimostrati in quel sistema).