Hilbert proposed that the consistency of more complicated systems, such as real analysis, could be proven in terms of simpler systems.
David Hilbert propuxo que a consistencia dos sistemas máis complexos, como análise real, poderían ser probados en termos de sistemas máis simples.