Обсуждение:Ван дер Дёйм, Хилберт