Esta cuestión fue resuelta por Kurt Gödel en 1931.