Regarding the quote it’s Gödel's incompleteness theorem that proves the ever present need for more “axioms” - and it exists in the cross disciplines of philosophy/math.
First incompleteness theorem says even with axioms you can't "compute" all truths in a formal system. That is a far cry from "we need axioms to compute truths".