«Dobbiamo sapere, e lo sapremo». Per molto tempo c’era la segreta speranza che la matematica fosse non solo coerente, ma anche «completa». E che quindi tutto ciò che è vero può anche essere dimostrato. Così, il teorema di incompletezza di Kurt Gödel scosse le fondamenta delle credenze matematiche negli anni ‘30.