incompletezza
La proprietà di un sistema coerente e abbastanza potente di contenere proposizioni vere che non dimostra, e di non poter dimostrare la propria coerenza.
Compare in volume VI
Come la richiudono le mappe di fine capitolo
- Volume VI · 6. Il programma e il teorema
-
La proprietà di un sistema coerente e abbastanza potente di contenere proposizioni vere che non dimostra, e di non poter dimostrare la propria coerenza.