Qualcuno sa spiegarmi perchè ci si pone il problema della decidibilità o meno intorno alla dimostrabilità della congettura di Goldbach, visto che interessa un settore della matematica quale l'aritmetica, di cui Goedel ha già da tempo dimostrato la non decidibilità sulla contradditorietà?
In altre parole se non è possibile stabilire se l'aritmetica sia contradditoria o meno, è logico pensare che una congettura di aritmetica appaia vera ma non sia dimostrabile. Con ciò non voglio dire che sia proprio la congettura di Goldbach ad essere destinata a questa sorta di "limbo" ma di sicuro qualche cosa del genere in aritmetica deve esserci visto che è impossibile dimostrare se essa è o non è contraddittoria.
Inoltre mentre in geometria è normale parlare di assiomi o postulati, quali sarebbero gli assiomi dell'aritmetica?
O la contradditorietà o meno dell'aritmetica risulta indecidibile in fondo proprio per questo motivo, perchè non è stata costruita in modo razionale come la geometria? Esiste anche per l'aritmetica un sistema di postulati come per la geometria?
Vi sarei grato se mi illuminaste a riguardo.