Ring ngarembug penampennyane wantah sabilang pikobet matematika pastika madue solusi, Hilbert menawita menawi wantah solusi nika polih kadadosang bukti wantah pikobet aslinyane nenten menawi.