section_heading: Hilbertov program
paragraph_text: Ovaj program je prepoznatljiv u popularnoj filozofiji matematike gdje se obično naziva formalizam. Naprimjer, Bourbaki (skupina francuskih matematičara 20. stoljeća) grupa prihvatila je selektivnu verziju programa kao prikladnu za zahtjeve njihovog dvojnog projekta koji se sastojao od:pisanja pregleda temeljnih radova i podržavanje aksiomatske metode kao istraživačkog pomagala. Ovaj pristup bio je uspješan u vezi s Hilbertovim radovima u području algebre i funkcionalne analize, ali nije uspio privući interest na području fizike i logike.