Definition:Sign (Mathematical Theory)

From ProofWiki
Jump to navigation Jump to search


A sign of a mathematical theory is a symbol which has a specific meaning in the theory, as follows:

  1. A logical sign;
  2. A letter;
  3. A specific sign.

A logical sign is a sign which has a specific meaning and definition in a particular class of mathematical theory.

A letter is a more or less arbitrary symbol whose definition depends on the specific context.

For a given mathematical theory, there are signs which are specific to the use to which the theory is being put. These are the specific signs.