Formal Theory Website Links For
System 		 

Information About ™

Formal Theory
  CATEGORIES ABOUT AXIOMATIC SYSTEM
   
mathematical axioms
   
conceptual systems
   
SHOPPER'S DELIGHT
 
Shop For:  
Department
Price Minimum:
Price Maximum:
      




PROPERTIES


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 for every statement, either itself or its negation is derivable.


MODELS


  • 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 .


AXIOMATIC METHOD


The axiomatic method is often discussed as if it were a unitary approach, or uniform procedure. With the example of 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 , Cantor 's Set Theory and Frege 's work on foundations, and Hilbert 's 'new' use of axiomatic method as a research tool. For example, Group Theory was first put on an axiomatic basis towards the end of that century. Once the axioms were clarified (that Inverse Element s 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:

#Accept my axioms and you must accept their consequences;
#I reject one of your axioms and accept extra models;
#My set of axioms defines a research programme.

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.


SEE ALSO