> While it's true that mathematics cannot ever be completely formalized, per Gödel's incompleteness theorems That's a misleading way of expressing that. Math

> While it's true that mathematics cannot ever be completely formalized, per Gödel's incompleteness theorems That's a misleading way of expressing that. Math can be formalized as completely as we want, if we concede that some true statements will exist without a possible proof.