It’s humorous in retrospect that the entire effort to produce a set justificatio

It’s humorous in retrospect that the entire effort to produce a set justification of mathematics, instead of an operational explanation of mathematics, produced a century of nonsense that will take another century to correct.