Короткая арифметика Гильберта