loppy

You made me realize this is actually pretty common in math, e.g. “Let x, y be real numbers” instead of “Let x and y be real numbers”. I imagine this comes from the infuence of notation like “Let x, y ∈ ℝ”.

Well, Con(PA) is a “natural” statement I’d say, and ZFC proves Con(PA).

No one, and I mean absolutely no one, “truly” “thinks in words”, even people who have a constant running narrative in their head. The reason is simple: How can you choose words/form sentences without any prior thought/idea that those words describe? How can you “struggle to find the right words” if your thoughts are originally in words (an experience I assume everyone has had)?