Hilbert staroł sie pokozać spōjność systymōw matymatycznych przi założyniu, co "finitarno arytmetyka" (podsystym zwykłyj arytmetyki dodatnich liczbōw imyntnych, ôbrano za filozoficznie nieykōntrowersyjno) je spōjno.