Hilbert proposed that the consistency of more complicated systems, such as real analysis, could be proven in terms of simpler systems.
Hilbert mengusulkan bahwa konsistensi sistem yang lebih rumit , seperti analisis real , dapat dibuktikan dalam hal sistem sederhana .