Back To Course

Geometry: High School15 chapters | 160 lessons

Are you a student or a teacher?

Try Study.com, risk-free

As a member, you'll also get unlimited access to over 75,000 lessons in math, English, science, history, and more. Plus, get practice tests, quizzes, and personalized coaching to help you succeed.

Try it risk-freeWhat teachers are saying about Study.com

Already registered? Login here for access

Your next lesson will play in
10 seconds

Lesson Transcript

Instructor:
*Yuanxin (Amy) Yang Alcocer*

Amy has a master's degree in secondary education and has taught math at a public charter high school.

Learn what kinds of things are included in an axiomatic system in this video lesson. Also learn why consistency, independence, and completeness are important in axiomatic systems.

What exactly is an axiomatic system? I know it sounds like a big word for a complicated system, but it's actually not all that complicated. Defined, an **axiomatic system** is a set of axioms used to derive theorems. What this means is that for every theorem in math, there exists an axiomatic system that contains all the axioms needed to prove that theorem. An **axiom** is a statement that is considered true and does not require a proof. It is considered the starting point of reasoning. Axioms are used to prove other statements. They are basic truths. For example, the statement that all right angles are equal to each other is an axiom and does not require a proof. We know that all right angles are equal to each other and we do not argue that point. Instead, we use this information to prove other things. A collection of these basic, true statements forms an axiomatic system.

The subject that you are studying right now, geometry, is actually based on an axiomatic system known as Euclidean geometry. This system has only five axioms or basic truths that form the basis for all the theorems that you are learning. Everything can be traced back to these five axioms. What are they? Let me tell you.

1. A straight line can be drawn from any one point to any other point.

2. A line segment can be extended infinitely in both directions.

3. A circle can be described with a center and radius.

4. All right angles are equal to each other.

5. If a line intersecting two lines forms interior angles less than 90 degrees, then the two lines will intersect on the same side as the angles that are less than 90 degrees. The fifth axiom is also known as the parallel postulate.

Axiomatic systems also have three different properties.

The first property is called **consistency**. When an axiomatic system is consistent, then the system will NOT be able to prove both a statement and its negation. The consistent system will prove either the statement or its negative, but not both. If it did, then it would contradict itself. For example, if an axiomatic system was able to prove the statement 'squares are made from two triangles' as well as the statement 'squares are not made from two triangles,' then the system is not consistent. The system actually contradicts itself. You can't rely on the system. Because of this, this property is a requirement for an axiomatic system.

The next property is **independence**. The axioms in an axiomatic system are said to be independent if the axiom cannot be derived from the other axioms in the system. If you can use some of the axioms to prove another axiom in the system, then the system is not independent because one of the statements depends on the other statements. Look back at the five axioms of Euclidean geometry, for example, and you will see that this particular axiomatic system is independent since none of the five axioms can be proved by the other four. An axiomatic system does not have to be independent. It can be either dependent or independent, so this property, unlike the property for consistency, is not a requirement for an axiomatic system.

The third property is that of **completeness**. A complete axiomatic system is a system where for any statement, either the statement or its negative can be proved using the system. If there is any statement the system cannot prove or disprove, then the system is not complete. As you can see, this is a pretty big property to fill. This is why completeness is also not a required property. This property is a tough one to fulfill for any axiomatic system.

So, what have we learned? We've learned that an **axiomatic system** is a set of axioms used to derive theorems where an **axiom** is a statement that is considered true and does not require a proof, a basic truth. Euclidean geometry with its five axioms makes up an axiomatic system. The three properties of axiomatic systems are consistency, independence, and completeness. A **consistent** system is a system that will not be able to prove both a statement and its negation. A consistent system will not contradict itself. An **independent** axiom in a system is an axiom that cannot be derived or proved from the other axioms in the system. A **complete** system is a system that can prove or disprove any statement. Out of the three properties, only the property of consistency is a requirement of axiomatic systems.

When this has been thoroughly studied, you might be able to:

- Compare an axiom to an axiomatic system
- Remember the properties of an axiomatic system

To unlock this lesson you must be a Study.com Member.

Create your account

Are you a student or a teacher?

Already a member? Log In

BackWhat teachers are saying about Study.com

Already registered? Login here for access

Did you know… We have over 160 college courses that prepare you to earn credit by exam that is accepted by over 1,500 colleges and universities. You can test out of the first two years of college and save thousands off your degree. Anyone can earn credit-by-exam regardless of age or education level.

To learn more, visit our Earning Credit Page

Not sure what college you want to attend yet? Study.com has thousands of articles about every imaginable degree, area of study and career path that can help you find the school that's right for you.

You are viewing lesson
Lesson
4 in chapter 1 of the course:

Back To Course

Geometry: High School15 chapters | 160 lessons

- What is Geometry? 4:36
- Inductive & Deductive Reasoning in Geometry: Definition & Uses 4:59
- Thales & Pythagoras: Early Contributions to Geometry 5:14
- The Axiomatic System: Definition & Properties 5:17
- Undefined Terms of Geometry: Concepts & Significance 5:23
- Properties and Postulates of Geometric Figures 4:53
- Algebraic Laws and Geometric Postulates 5:37
- Go to High School Geometry: Foundations of Geometry

- Computer Science 335: Mobile Forensics
- Electricity, Physics & Engineering Lesson Plans
- Teaching Economics Lesson Plans
- U.S. Politics & Civics Lesson Plans
- US History - Civil War: Lesson Plans & Resources
- iOS Data Analysis & Recovery
- Acquiring Data from iOS Devices
- Foundations of Digital Forensics
- Introduction to Mobile Forensics
- Examination of iOS Devices
- CNE Prep Product Comparison
- IAAP CAP Prep Product Comparison
- TACHS Prep Product Comparison
- Top 50 Blended Learning High Schools
- EPPP Prep Product Comparison
- NMTA Prep Product Comparison
- Study.com NMTA Scholarship: Application Form & Information

- History of Sparta
- Realistic vs Optimistic Thinking
- How Language Reflects Culture & Affects Meaning
- Logical Thinking & Reasoning Questions: Lesson for Kids
- Human Geography Project Ideas
- Asian Heritage Month Activities
- Types of Visualization in Python
- Quiz & Worksheet - Frontalis Muscle
- Octopus Diet: Quiz & Worksheet for Kids
- Quiz & Worksheet - Fezziwig in A Christmas Carol
- Quiz & Worksheet - Dolphin Mating & Reproduction
- Flashcards - Measurement & Experimental Design
- Flashcards - Stars & Celestial Bodies
- Grammar Games
- 11th Grade Math Worksheets & Printables

- Maniac Magee Study Guide
- Business 109: Intro to Computing
- World History: High School
- Praxis Environmental Education: Practice and Study Guide
- SAT Literature: Help and Review
- Physical Development in Late Adulthood: Homework Help
- NMTA Middle Grades Math: Sets
- Quiz & Worksheet - The Life & Form of Plasmodium Vivax
- Quiz & Worksheet - Bacillus Subtilis Bacteria
- Quiz & Worksheet - Algebraic Rule
- Quiz & Worksheet - Slope-Intercept Form
- Quiz & Worksheet - Scientific Law

- Non-Coding Regions of DNA: Sequences & Explanation
- What is IT Project Management? - Definition, Tools & Examples
- Kentucky Homeschool Laws
- How to Find PSAT Scores
- Where Can I Find Free SAT Prep Classes?
- Solid, Liquid & Gas Experiments for Kids
- How to Ace a Group Interview
- The Highwayman Lesson Plan
- Homeschooling in Nevada
- What Are Common SAT Essay Topics?
- Sink or Float Lesson Plan
- How to Ace a College Interview

- Tech and Engineering - Videos
- Tech and Engineering - Quizzes
- Tech and Engineering - Questions & Answers

Browse by subject