Hilbert maurip suene kanti 12 warsa sasampun Kurt Godel manerbitang teoremanya, nanging kasinahin nenten nulis penampen formal napi-napi saking karya Godel.