在数学哲学实在论和反实在论对抗的大背景下,德特勒夫森复活了希尔伯特的有限主义。他把自己的思想称为希尔伯特工具主义,这是一种改良版的实在论。通过对弗雷格问题的解决,我们看到希尔伯特工具主义者是如何既承认抽象对象的存在,又发展出关于抽象对象的认识论。通过在有限思维中加入抽象的元素,他解决了抽象对象存在的问题。通过复制主义策略和证明模式认识论,他解决了认识抽象对象的问题。这种实在论既不同于弗雷格的实在论,也不同于菲尔德的唯名论,它是一种介于实在论和唯名论间的新形式。