Hilbert proposed that the consistency of more complicated systems, such as real analysis, could be proven in terms of simpler systems.
Гильберт предположил, что согласованность более сложных систем, таких как реальный анализ, может быть доказана в терминах более простых систем.