| • Science | • People | • Locations | • Timeline |
| Contents | ||
An axiomatic system is said to be consistent if it lacks contradiction, i.e. the ability to derive both a statement and its negation from the system's axioms.
In an axiomatic system, an axiom is called independent if it is not a theorem that can be derived from other axioms in the system. A system will be called independent if each of its underlying axioms is independent.
Although independence is not a necessary requirement for a system, consistency is. An axiomatic system will be called complete if no additional axiom can be added to the system without making the new system either dependent or inconsistent.
A mathematical model for an axiomatic system is a well-defined set, which assigns meaning for the undefined terms presented in the system, in a manner that is correct with the relations defined in the system. The existence of a concrete model* proves the consistency of a system.
Models can also be used to show the independence of an axiom in the system. By constructing a valid model for a subsystem without a specific axiom, we show that the omitted axiom is independent if its correctness does not necessarily follow from the subsystem.
Two models are said to be isomorphic if a one-to-one correspondence can be found between their elements, in a manner that preserves their relationship. An axiomatic system for which every model is isomorphic to another is called categorial, and the property of categoriality ensures the completeness of a system.
* A model is called concrete if the meanings assigned are objects and relations from the real world, as opposed to an abstract model which is based on other axiomatic systems.
The first axiomatic system was Euclidean geometry.
The axiomatic method is often discussed as if it were a unitary approach, or uniform procedure. With the example of Euclid to appeal to, it was indeed treated that way for many centuries: up until the beginning of the nineteenth century it was generally assumed, in European mathematics and philosophy (for example in Spinoza's work) that the heritage of Greek mathematics represented the highest standard of intellectual finish (development more geometrico, in the style of the geometers).
This traditional approach, in which axioms were supposed to be self-evident and so indisputable, was swept away during the course of the nineteenth century, by the development of Non-Euclidean geometry, the foundations of real analysis, CantorThe word Cantor can mean more than one thing: Cantor is another name for a Hazzan, a member of the Jewish clergy Cantor is the title of a member of a student society who is the main singer at a cantus Famous people named "Cantor" include: Eddie Cantor, si's set theorySet theory is the mathematical theory of sets, which represent collections of abstract objects. It has a central role in modern mathematical theory, providing the basic language in which most of mathematics is expressed. For more information on set theory and Frege's work on foundations, and Hilbert's 'new' use of axiomatic method as a research tool. For example, group theoryAbstract algebra Group theory Group theory is that branch of mathematics concerned with the study of groups. Please refer to the Glossary of group theory for the definitions of terms used throughout group theory. See also list of group theory topics. was first put on an axiomatic basis towards the end of that century. Once the axioms were clarified (that inverse elementIn mathematics, the idea of inverse element generalises both of the concepts of negation, in relation to addition (see additive inverse), and reciprocal, in relation to multiplication. The intuition is of an element that can 'undo' the effect of combinatis should be required, for example), the subject could proceed autonomously, without reference to the transformation group origins of those studies.
Therefore there are at least three 'modes' of axiomatic method current in mathematics, and in the fields it influences. In caricature, possible attitudes are
The first case is the classic deductive method . The second goes by the slogan be wise, generalise; it may go along with the assumption that concepts can or should be expressed at some intrinsic 'natural level of generality'. The third was very prominent in the mathematics of the twentieth century, in particular in subjects based around homological algebra.
It is easy to see that the axiomatic method has limitations outside mathematics. For example, in political philosophy axioms that lead to unacceptable conclusions are likely to be rejected wholesale; so that no one really assents to version 1 above.