Questo schema, trovato su Gödel, mi ha dato da riflettere:
Per una sua lettura (probabilmente) corretta, rimando ai commenti.
Qui vorrei solo sottolineare come vero e falso (true, false) non si possano applicare direttamente al Mondo, ma solo al Modello, che approssima (approximation) il Mondo, e lo fa più o meno bene.
In poche parole, possiamo sperare di avere risposte univoche solo confrontando teorie e modelli, mentre se ci rivolgiamo al Mondo otteniamo risposte ambigue.
Le maiuscole sono ironiche: ha senso, qui, parlare di Mondo, Modello e Teoria come se fossero cose, oggetti chiusi e ben definiti? E ancora: questo schema qui, appartiene al Mondo, al Modello o alla Teoria? (Io direi che è un modello, in quanto di esso non si può dire se è vero o falso, ma solo se è una buona o una cattiva approssimazione.)