Re: Ambiente align*

Se un sistema assiomatico può dimostrare la sua stessa coerenza, allora esso deve essere incoerente.

Un sistema matematico consistente e sufficientemente ricco da definire l’aritmetica non può dimostrare la propria consistenza.

http://www.vialattea.net/odifreddi/

Ciao,
L.