This is a philosophical post about ideas, communicating them, and math.

Formalizing is the act of taking an intuition, a vague idea, and putting it into words — in mathematics, those words are usually in the language of logic, and usually in a specific flavor of logic, that which underlies the …