The relationship between thoughts and proofs is analogous to the relationship between noise and music. It’s a subset kind of relationship. There is also the s

The relationship between thoughts and proofs is analogous to the relationship between noise and music. It’s a subset kind of relationship. There is also the social aspect: people have to agree on it. Noise becomes music, and thoughts become proofs, only if several people agree.