Hilbert proposed that the consistency of more complicated systems, such as real analysis, could be proven in terms of simpler systems.
大卫·希尔伯特提出，像实分析那样较为复杂的体系的相容性，可以用较为简单的体系中的手段来证明。