Salve leggendo qualche libro che parla del pensiero (in generale) nel novecento, mi sono ritrovato a leggere parti che riguardano della "crisi delle fondamenta" e mi è venuto un dubbio: attualmente esiste una teoria, o si sta costruendo una teoria, per fondare la matematica, che sia rigorosa come la teoria assiomatica degli insiemi, ma non sia "limitata" dai teoremi di incompletezza?
Se non vi reca disturbo, potreste rispondere alla mia domanda?