Axiomatic system
set of axioms from which some or all axioms can be used in conjunction to logically derive theorems
The English used in this article or section may not be easy for everybody to understand. (September 2024) |
An axiomatic system in mathematics and logic is a set of axioms or primitive notions from which theorems are logically derived. A system is usually part of a formal theory, which is a collection of sentences closed under logical implication.[1]
Properties
change- Consistency: An axiomatic system is consistent if it does not contain any contradictions. Inconsistent systems allow for any statement to be proven (principle of explosion).
- Independence: An axiom is independent if it cannot be proven using the other axioms of the system. A system is independent if all its axioms are independent.
- Completeness: A system is complete if every statement can either be proven true or false using the axioms.[2]
Models
changeA model provides interpretations of the undefined terms in an axiomatic system and proves the system's consistency. Models can be concrete (with real-world objects) or abstract (based on other axiomatic systems).
Relative consistency
changeRelative consistency refers to the ability to define the undefined terms of one system within another, such that the axioms of the first system become theorems of the second.[3]
Related pages
changeReferences
change- ↑ Weisstein, Eric W. "Complete Axiomatic Theory". mathworld.wolfram.com. Retrieved 2024-09-19.
- ↑ Weisstein, Eric W. "Zermelo-Fraenkel Axioms". mathworld.wolfram.com. Retrieved 2024-09-19.
- ↑ https://courses.csail.mit.edu/6.042/spring17/mcs.pdf