"A theorem does not exist in a vacuum; it exists in what mathematicians call a formal system. A formal system comes with its own formal language; that is, an alphabet and a collection of words as well as grammar, which enables one to construct sentences that are considered meaningful in this language."
#math #science #epistemology
https://iai.tv/articles/math-like-quantum-physics-has-observer-problems-ed-frenkel-auid-2733