Παράδειγμα μη πρότασης
είναι η πρόταση
που έχει αποδειχθεί
από τον Kurt Gödel
ότι δεν είναι αποδείξιμη
λόγω της ενσωμάτωσης
της αριθμητικής
διότι το σύστημα
είναι αρκετά ισχυρό
για να έχει αδυναμίες
για το δόγμα
που είναι ελευθερίες
για τον μαθηματικό
που θέλει να ξέρει
πως να κωδικοποιήσει
τα νοητικά σχήματα
των μαθηματικών
του μέλλοντος.