Crossword clue: (philosophy) the philosophical theory that all of mathematics can be derived from formal logic

1 answer found in Letterora's clue database (Wikidata facts, Open Trivia DB, WordNet and Webster definitions — all licensed sources).