bla-bla :: [1] le cose della geometria che uno non si accorgeva

[brullo nulla::post]attenzione: quest'affermazione non viola Gödel?
corretto.
l'unico sistema coerente e completo al tempo stesso è quello di Presburger il quale però, essendo limitato alla sola addizione, è decisamente meno espressivo rispetto all'aritmetica di Peano (e dunque non ricade nei sistemi studiati da Goedel).
:|
[Pisodeuorrior::post]Esc pero' non mi fare il saccentone ho dato diversi esami di storia dell'arte piuttosto complicati, dai

asphalto FAQ
categorie Espandi/contrai