Introduction
Before we begin working with equations, variables, and mathematical operations, it is necessary to understand the language in which all mathematical reasoning is conducted. As we have seen, algebra is not a chaotic or mechanical process—it is a rational science. Like every science, algebra depends on clear and orderly thinking. That thinking must be expressed in words and symbols that are carefully defined and precisely used. This brings us to our present study: the nature of mathematical terms and propositions.
In this lesson, we will study the definitions of the basic elements of mathematical reasoning—terms, propositions, axioms, and postulates—and reflect on why these elements are essential to any science, especially to mathematics. We will also see that mathematical language, far from being a mere tool for calculation, is in fact a highly developed form of philosophical discourse, requiring the same habits of thought and clarity of language demanded in logic and metaphysics.
This understanding is indispensable for the student of algebra. Without it, mathematical learning becomes a game of symbols and procedures. With it, algebra becomes a rational discipline, capable of cultivating in the student a mind trained in precision, logic, and truth.
I. Terms: The Building Blocks of Mathematical Language
Let us begin with the most basic element: the term.
In ordinary language, a term is a word or phrase that has a specific meaning. In mathematics, a term is a symbol, a letter, a numeral, or a combination of these that represents a definite quantity or concept. Terms are the smallest units of meaning in mathematical language, just as words are in natural language.
There are several kinds of terms in algebra:
- Numerical Terms: These are terms that represent specific numbers, such as 7, 100, or -3 (seven, one hundred, or negative three).
- Literal Terms: These are letters that stand for numbers, such as x, y, or a (the letters x, y, or a, each representing a number).
- Combined Terms: These are formed by combining numbers and letters through multiplication, such as 3x (three times x), -2y² (negative two times y squared), or 5ab (five times a times b). Each of these represents a single quantity expressed through a product of values.
- Constant Terms: These are fixed values that do not change, such as π (pi) or e.
- Like and Unlike Terms: Terms are like if they contain the same variables raised to the same powers; they are unlike if they differ in variable or exponent.
In an expression like 3x + 4y – 7 (three times x plus four times y minus seven), the terms are: 3x, 4y, and -7.
It is essential to recognize that a mathematical term is not just a symbol, but a concept with meaning. When we write x, we do not merely place a letter on the page; we refer to a quantity that exists, even if its precise value is unknown. Thus, even the simplest term participates in the rational nature of mathematics.
II. Propositions: Asserting Mathematical Truth
If terms are like the words of mathematics, propositions are its sentences. A proposition is a statement that affirms or denies something. In mathematics, a proposition asserts a relation between terms—usually an equality or inequality.
For example:
- “3 + 4 = 7” (three plus four equals seven) is a proposition.
- “x > 5” (x is greater than five) is a proposition.
- “a + b = c” (a plus b equals c) is a general proposition, true under certain conditions.
A proposition has three parts:
- Subject – the term about which something is being asserted.
- Predicate – what is being said about the subject.
- Copula – the verb linking the subject and predicate, usually “is” or “equals.”
In mathematics, the copula is often symbolized by the equals sign (=), the greater than sign (>), or other symbols of comparison.
What distinguishes a proposition from a mere expression is that a proposition asserts truth. It claims that something is or is not the case. This is why mathematical propositions can be judged as true or false, and why they form the basis of proof.
III. Axioms and Postulates: The Foundations of Reasoning
In order to prove anything, we must begin with something that does not itself need to be proven. These are called first principles, and in mathematics, they take the form of axioms and postulates.
Axioms
An axiom is a universally accepted truth. It is a proposition that is so clear and self-evident that it does not require proof. In mathematics, axioms are the foundation on which all reasoning is built.
Examples of axioms include:
- Things equal to the same thing are equal to each other.
- If equals are added to equals, the sums are equal. (If a = b and c = d, then a + c = b + d means a plus c equals b plus d.)
- If equals are subtracted from equals, the remainders are equal.
These are logical truths, understood by reason and accepted in all mathematical systems. Without them, no further reasoning is possible.
Postulates
A postulate, like an axiom, is accepted without proof, but it usually pertains to geometrical or operational assumptions. For example, in Euclidean geometry, postulates include statements like:
- A straight line can be drawn between any two points.
- A circle can be drawn with any center and radius.
In algebra, postulates include assumptions such as:
- A number may be multiplied or divided by the same quantity on both sides of an equation.
- A variable may represent any real number.
While the distinction between axioms and postulates is not always rigid, both serve the same purpose: they provide the starting point for reasoning. They are the foundation stones of the science.
IV. The Role of Definitions in Mathematics
Closely related to terms and propositions are definitions. A definition is a statement that explains the meaning of a term. In mathematics, definitions must be clear, precise, and unambiguous. Every term used in a definition must itself be already understood, or defined elsewhere.
Definitions allow us to know what we are talking about. They prevent confusion, error, and ambiguity. Consider the definition of a “prime number”:
A prime number is a whole number greater than 1 that has no positive divisors other than 1 and itself.
This definition is not an opinion or a rule—it is a truth of meaning. If a student says that 9 is a prime number, the answer is not merely “incorrect”; it is inconsistent with the definition.
Definitions must be accepted before any reasoning can proceed. They are not proven, because they are not claims about fact—they are explanations of meaning. They must be chosen carefully, because all reasoning that follows depends on their clarity.
In classical mathematics, the student is always urged to memorize definitions and understand them deeply, because they provide the vocabulary for reasoning.
V. Logical Reasoning in Mathematics
Once terms are defined and propositions are formed, mathematical reasoning proceeds through the use of logic. This is the same logic studied in philosophy, but applied with precision in mathematics.
There are two primary forms of reasoning in mathematics:
- Deductive Reasoning – reasoning from general principles to specific conclusions. For example:
- All squares are rectangles.
- This figure is a square.
- Therefore, this figure is a rectangle.
- Inductive Reasoning – reasoning from specific examples to general conclusions. For example:
- 2 + 3 = 5 (two plus three equals five)
- 3 + 4 = 7 (three plus four equals seven)
- 4 + 5 = 9 (four plus five equals nine)
- Therefore, it seems that adding any two numbers increases the total.
While inductive reasoning helps us form hypotheses, only deductive reasoning leads to certainty. This is why mathematics is often called a deductive science—it seeks certain conclusions from known truths.
Each step in a mathematical proof must follow logically from previous steps. This requires precision in language, accuracy in calculation, and discipline in thought. There is no room for vague reasoning or approximate ideas. Every symbol must be understood, every term defined, every conclusion justified.
VI. Mathematical Language as Philosophical Discourse
Students are often tempted to think of mathematics as a subject apart from the humanities, a realm of numbers and formulas with no relation to the study of truth, beauty, or virtue. But this is a false and harmful view. Mathematics is, at its core, a branch of philosophy—the part that studies quantity.
Just as philosophy seeks to understand being, truth, and cause through careful reasoning and clear language, so mathematics seeks to understand numerical and quantitative relationships through the same tools. In fact, mathematics perfects language by stripping it of all ambiguity. It forces the mind to be exact, to define every term, to justify every claim.
The philosopher Aristotle taught that “the more universal a science is, the more certain it is.” Algebra, dealing not with particular numbers or figures but with general quantities and relationships, is highly universal—and therefore, highly rational and ordered.
The discipline of writing mathematical proofs is a training ground for logical writing in all subjects. A student who can express a mathematical argument clearly will be better prepared to write persuasively in theology, ethics, and politics. Mathematical discourse teaches the habits of:
- Clarity – every idea must be plainly stated.
- Order – each step must follow from the last.
- Economy – no word or symbol is wasted.
- Truthfulness – only what is justified may be asserted.
In this way, algebra is not merely a technical skill but a moral discipline. It teaches the student to love truth, to respect order, and to speak with accuracy. It is, properly understood, part of the formation of the whole person.
Conclusion
In this lesson, we have studied the foundational elements of mathematical reasoning: terms, propositions, axioms, postulates, and definitions. We have seen how these elements, far from being arbitrary inventions, are the necessary building blocks of rational science. We have also seen that the language of mathematics is not mechanical or impersonal, but a precise form of philosophical discourse, requiring clarity, discipline, and care.
As we move forward in our study of algebra, we must carry these principles with us. We must not be content to follow rules mechanically or to memorize formulas without understanding. Instead, we must seek to know—to understand every term, to examine every proposition, and to think through every step with logical rigor.
Algebra, rightly studied, becomes more than a school subject. It becomes a training ground for reason, a path toward intellectual excellence, and a preparation for the higher sciences of geometry, astronomy, and metaphysics. Let us continue this journey with the seriousness and reverence it deserves.
Memory Work
1. What is a mathematical term?
A mathematical term is a symbol or combination of symbols representing a definite quantity or concept.
2. What is a proposition in mathematics?
A proposition is a statement that affirms or denies something, and can be judged as true or false.
3. What is an axiom?
An axiom is a self-evident truth accepted without proof, forming the foundation for reasoning.
4. What is a postulate?
A postulate is a basic assumption accepted without proof, usually pertaining to operations or constructions.
5. What is a definition?
A definition is a statement that clearly and precisely explains the meaning of a term.
6. Why are definitions important in mathematics?
Because they ensure clarity, prevent confusion, and provide the basis for all reasoning.
7. What kind of reasoning does mathematics primarily use?
Mathematics primarily uses deductive reasoning, which moves from general truths to specific conclusions.
8. Why is mathematical language considered philosophical?
Because it uses logic, precise language, and rational order to express universal truths.
9. What moral discipline does algebra help cultivate?
Algebra teaches clarity, honesty, order, and a love for truth in thought and expression.
10. Why must a student of algebra study terms and propositions first?
Because they form the foundation of all mathematical understanding and reasoning.
If you have any questions, please contact us.
Mr. William C. Michael, O.P.
Headmaster
Classical Liberal Arts Academy
mail@classicalliberalarts.com
