• 4 giorni fa
Trascrizione
00:00Una qualunque sottoteoria finita di questa è coerente. Per quale ragione?
00:06Prendo semplicemente il modello standard,
00:09se sto prendendo una quantità finita di questi assioni,
00:13diciamo che io prendo un bisogno di entero, interpreto a cinque numeri centesimi.

Consigliato