G??del indicates that statements about integers can be proved on the assumption of the axiom of inaccessible numbers.[37] This gives tremendous force to G??del's belief that there is a more intimate relationship between the higher and lower systems than would appear at the outset.