Definition:Letter (Mathematical Theory)
Jump to navigation
Jump to search
 It has been suggested that this page or section be merged into Definition:Formal Language/Alphabet/Letter. (Discuss) |
Definition
A letter of a mathematical theory is a more or less arbitrary symbol whose definition depends on the specific context.
Depending on the nature of the mathematical theory, and the particular location in whatever assembly in which it occurs, the interpretation of the letter will vary.
Bourbaki Definition
The mathematical theory as defined in Bourbaki's Theory of Sets specifies the letters as follows:
The letters of a mathematical theory are uppercase and lowercase Roman letters, with or without accents, e.g. $A, A', A''$.
Sources
- 1968: Nicolas Bourbaki: Theory of Sets ... (previous) ... (next): Chapter $\text I$: Description of Formal Mathematics: $1$. Terms and Relations: $1$. Signs and Assemblies
