| http://www.w3.org/ns/prov#value | - 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.
|
