Theorem

In mathematics, a theorem refers to the string of symbols producible by the rules of a formal system.

Hostader, Douglas. (1979). Godel Escher Bach Chapter 1 The MU Puzzle (p. 35). New York, NY: Basic Books.

🔮 The Cosmos