<p>Returning to this topic, I realized that I made a serious omission, I forgot the very important mathematical term of <strong>definition</strong>.
I make up for this omission in a separate answer, otherwise the previous answer becomes cumbersome.</p>
<p>Often mathematicians say that the most important things of mathematics are not theorems, but definitions.</p>
<p>A <em>definition</em> is a statement that describes a mathematical entity using terms that have a known meaning, as previously defined or assumed as primitive.</p>
<p>Definitions are at the heart  of mathematics: new mathematical objects can be introduced through definitions, and definitions can generate new mathematics. The creative function of definitions is even more evident when it is defined not a particular object inside a theory, but the scope of a theory  itself: for instance, the definition of <em>group</em> in algebra leads to a whole field of algebra, <em>group theory</em>.</p>
<p><span class="math-container">$$***$$</span></p>
<p>As an advice that can be useful from a practical point of view, when reading texts of mathematics: it should be noticed that  which statements are definitions and which are theorems can vary depending on the author, so it mustn’t generate wonder if definitions differ among texts.</p>
<p>This can  happen sometimes going from books of mathematics more aimed at economics to  ‘purer’ mathematics  books.</p>
<p>A common example can be the definition of a <em>rank of a matrix</em> in linear algebra. Often, more applicative texts define the rank of a matrix as the <em>number of rows (or columns) linearly independent</em>.</p>
<p>Other texts,  usually more theoretical, define the rank of a matrix <span class="math-container">$A$</span> as <em>the dimension of the image of the linear application generated by <span class="math-container">$A$</span>, <span class="math-container">$Ax$</span></em>, where <span class="math-container">$x$</span> is a vector. The statement about rows is then given as a theorem. The two  definitions are equivalent.</p>

CC BY-SA 4.0
2022-11-29T16:54:46.893Z
2022-11-29T16:54:46.893Z
BakerStreet
<p>The language you refer to is the same in economics and in mathematics, for the simple reason that economics uses this language borrowed from mathematics, as it uses mathematics.
So, you have to look at the language of mathematics. The question of mathStackExchange you linked gives you important explanations.</p>
<p>I can just add something to what is said in an answer in mathStackExchange, a paragraph of which I quote:</p>
<blockquote>
<p>A theorem is a logical consequence of the axioms. In Geometry, the &quot;propositions&quot; are all theorems: they are derived using the axioms and the valid rules. A &quot;Corollary&quot; is a theorem that is usually considered an &quot;easy consequence&quot; of another theorem. What is or is not a corollary is entirely subjective. Sometimes what an author thinks is a 'corollary' is deemed more important than the corresponding theorem. (The same goes for &quot;Lemma&quot;s, which are theorems that are considered auxiliary to proving some other, more important in the view of the author, theorem).</p>
</blockquote>
<p>I want specify something about <em>propositions</em> and <em>theorems</em>.
It is true that propositions and theorems are conceptually the same thing: they are derived from the axioms through the inference rules, they are 'proved'.</p>
<p>But when you read a text of mathematics, some statements are called 'Theorem' and other 'Proposition'. This is a convention.</p>
<p>Usually, the name 'Theorem' is reserved to important theorems, often, but not necessarily, they have a name: 'The Hahn-Banach Theorem, the 'Theorem of contractions', and so on.</p>
<p>The name 'Proposition' denotes a less important theorem, which doesn't deserve the name 'Theorem'.</p>
<p>A Lemma usually is a theorem that is important to prove another theorem, and not very important on its own, but it is possible to find Lemmas considered important, for example in differential equations theory there is the 'Gronwall's Lemma', or 'Fatou's Lemma' in real analysis, which are considered very important theorems on its own.</p>
<p>A conjecture is just a hypothesis that a statement is true, but it hasn't been proved (or disproved): the Riemann conjecture, the Fermat conjecture (this last conjecture has been proved).</p>

CC BY-SA 4.0
2022-09-12T12:09:27.480Z
2022-09-12T19:44:31.140Z
2022-09-12T19:44:31.140Z
BakerStreet
<p>Could anyone explain, or provide a good source to, the language used in theoretical economic papers?</p>
<p>For example, the difference between an <strong>assumption, proposition, postulation, theorem, lemma,  axiom, corollary, conjecture</strong>, and so on.</p>
<p>I think that there are also different conventions across fields so I'm not sure if what I'm currently reading in mathematics/physics (e.g., <a href="https://math.stackexchange.com/questions/7717/difference-between-axioms-theorems-postulates-corollaries-and-hypotheses">this</a> and <a href="https://en.wikipedia.org/wiki/Language_of_mathematics" rel="noreferrer">this</a>) is applicable to economics.</p>

CC BY-SA 4.0
2022-09-12T13:45:24.427Z
I have never read "postulation" in either economics or mathematics.
Michael Greinecker
CC BY-SA 4.0
2022-09-12T23:52:37.047Z
@MichaelGreinecker Googling it, "a postulate is an axiom taken to be true without proof. Postulates are the basic structure from which lemmas and theorems are derived. The whole of Euclidean Geometry, for example, is based on 5 postulates known as Euclid's Postulates". I remember reading it somewhere relevant, might not have been in economics/mathematics.
Eli J
CC BY-SA 4.0
2022-09-13T05:28:26.917Z
I am familiar with the word postulate, just not postulation.
Michael Greinecker
<theory>
Language of theoretical economic papers
Eli J
# Language of theoretical economic papers

(Asked by: username_0 on 2022-09-11)

Could anyone explain, or provide a good source to, the language used in theoretical economic papers?

For example, the difference between an **assumption, proposition, postulation, theorem, lemma, axiom, corollary, conjecture**, and so on.

I think that there are also different conventions across fields so I'm not sure if what I'm currently reading in mathematics/physics (e.g., [this](https://math.stackexchange.com/questions/7717/difference-between-axioms-theorems-postulates-corollaries-and-hypotheses) and [this](https://en.wikipedia.org/wiki/Language_of_mathematics)) is applicable to economics.

**Tags:** theory

> **Comments:**
> **username_1**: I have never read "postulation" in either economics or mathematics.  
> **username_0**: @MichaelGreinecker Googling it, "a postulate is an axiom taken to be true without proof. Postulates are the basic structure from which lemmas and theorems are derived. The whole of Euclidean Geometry, for example, is based on 5 postulates known as Euclid's Postulates". I remember reading it somewhere relevant, might not have been in economics/mathematics.  
> **username_1**: I am familiar with the word postulate, just not postulation.  

---

## 2 answers

### Answer by username_2 on 2022-09-12. Score: 8 | Accepted answer

The language you refer to is the same in economics and in mathematics, for the simple reason that economics uses this language borrowed from mathematics, as it uses mathematics.
So, you have to look at the language of mathematics. The question of mathStackExchange you linked gives you important explanations.

I can just add something to what is said in an answer in mathStackExchange, a paragraph of which I quote:

> A theorem is a logical consequence of the axioms. In Geometry, the "propositions" are all theorems: they are derived using the axioms and the valid rules. A "Corollary" is a theorem that is usually considered an "easy consequence" of another theorem. What is or is not a corollary is entirely subjective. Sometimes what an author thinks is a 'corollary' is deemed more important than the corresponding theorem. (The same goes for "Lemma"s, which are theorems that are considered auxiliary to proving some other, more important in the view of the author, theorem).

I want specify something about *propositions* and *theorems*.
It is true that propositions and theorems are conceptually the same thing: they are derived from the axioms through the inference rules, they are 'proved'.

But when you read a text of mathematics, some statements are called 'Theorem' and other 'Proposition'. This is a convention.

Usually, the name 'Theorem' is reserved to important theorems, often, but not necessarily, they have a name: 'The Hahn-Banach Theorem, the 'Theorem of contractions', and so on.

The name 'Proposition' denotes a less important theorem, which doesn't deserve the name 'Theorem'.

A Lemma usually is a theorem that is important to prove another theorem, and not very important on its own, but it is possible to find Lemmas considered important, for example in differential equations theory there is the 'Gronwall's Lemma', or 'Fatou's Lemma' in real analysis, which are considered very important theorems on its own.

A conjecture is just a hypothesis that a statement is true, but it hasn't been proved (or disproved): the Riemann conjecture, the Fermat conjecture (this last conjecture has been proved).


---

### Answer by username_2 on 2022-11-29. Score: 2

Returning to this topic, I realized that I made a serious omission, I forgot the very important mathematical term of **definition**.
I make up for this omission in a separate answer, otherwise the previous answer becomes cumbersome.

Often mathematicians say that the most important things of mathematics are not theorems, but definitions.

A *definition* is a statement that describes a mathematical entity using terms that have a known meaning, as previously defined or assumed as primitive.

Definitions are at the heart of mathematics: new mathematical objects can be introduced through definitions, and definitions can generate new mathematics. The creative function of definitions is even more evident when it is defined not a particular object inside a theory, but the scope of a theory itself: for instance, the definition of *group* in algebra leads to a whole field of algebra, *group theory*.

$$\*\*\*$$

As an advice that can be useful from a practical point of view, when reading texts of mathematics: it should be noticed that which statements are definitions and which are theorems can vary depending on the author, so it mustn’t generate wonder if definitions differ among texts.

This can happen sometimes going from books of mathematics more aimed at economics to ‘purer’ mathematics books.

A common example can be the definition of a *rank of a matrix* in linear algebra. Often, more applicative texts define the rank of a matrix as the *number of rows (or columns) linearly independent*.

Other texts, usually more theoretical, define the rank of a matrix $A$ as *the dimension of the image of the linear application generated by $A$, $Ax$*, where $x$ is a vector. The statement about rows is then given as a theorem. The two definitions are equivalent.


---

