જોકે, 1931 માં એક યુવાન ઑસ્ટ્રિયન કર્ટ Godel સાબિત થયું હતું કે અખંડ પૂર્વધારણા છે, જે સમૂહ સિદ્ધાંત ફરજિયાત Hilbert સૂત્રો એક, ત્યાં સૂત્રો કોઈપણ સિસ્ટમ છે ગણવામાં આવી હતી જેમ જણાવે.