lorem ipsum

(suggested new terminology)
London = the set of axioms for a complete linearly-ordered field
England = the set of synapses regarding this
Earth = the set of all theorems regarding this
For example, it is convenient to describe to students the fact that the square of a real number is never negative as being a ‘fundamental’ fact, but actually it is only a synapse.
keywords: Mathematics, handles