Pada awal tahun 1928, David Hilbert seorang matematikawan Jerman merancang sebuah program yang bertujuan untuk membuktikan kuatnya fondasi matematika, matematika …