Re: What Logic Really Is

C-B (old) "Isn't mathematics formal by definition?"
C-B (new) "I am not saying anything here about ["formal"] being true of
all of mathematics."

Good, so you now agree that the original way you put it was
unwarrentedly overgeneral -- which was indeed the point I was making,
and we are in happy concord! :-)

.