>>13228062I don't know the meaning of "formalizable" well enough to ask that question.
But I know what axioms are, and rules of inference, decision rules, theorems, and isomorphisms.
And it seems like what mathematicians are doing is encoding ideas in symbols, then symbol shunting down long branching roads to find new ideas.
I understand that I can't say that a system like this is "complete", because there are theorems which are true but are not reachable by shunting along the rules of inference.
But I don't know how math is done on those true ideas not findable by symbol shunting
and I don't know if all math is done this way.
