On the Concept of Arithmetic Conseqeunce
Questo articolo propone una prospettiva proof-theoretic sul secondo teorema di incompletezza di Gödel, distinguendo tra derivabilità e una nozione semantica di conseguenza basata sul supporto, e dimostra che, sebbene teorie aritmetiche come Q e PA non possano dimostrare la propria consistenza, essa è comunque supportata dalla loro struttura inferenziale, ridefinendo così l'incompletezza come una divergenza interna tra due nozioni di conseguenza piuttosto che come un divario tra sintassi e verità esterna.