Istnieje więcej twierdzeń, niż da się wyprowadzić z aksjomatów - czyli że zdań prawdziwych jest więcej niż dowodliwych.

In any non-trivial axiomatic system, there are true thereoms that cannot be proven.