Explore BrainMass

Explore BrainMass

    Finite Axiomatic Geometry

    Not what you're looking for? Search our solutions OR ask your own Custom question.

    This content was COPIED from BrainMass.com - View the original, and get the already-completed solution here!

    Geometry
    Finite Axiomatic Geometry

    Finite Axiomatic Geometry
    This abstract geometry confuses me and I just can't follow this logic. Here is a set up of the question. Please help with some insight.

    Consider the following axiom system.
    The undefined terms are point, line, and on.
    Definition: two lines are parallel if there is no point on both of them.

    Axioms:
    I. Given any two distinct points, there exactly one line on both of them.
    II. Every line has at least one point on it.
    III. Given any line, there is at least one other line that is parallel to it.
    IV. There exists at least one line.

    [The book defines each axiom an "undefined term" called a "interpretation of a system."]

    [If, for a given interpretation of a system, all the axioms are "correct" statements, we call the interpretation a "MODEL"]

    Questions:
    (a) Show that this axiom system is consistent by finding a model for it.

    (b) Using models, show that Axiom III is independent of the other axioms.

    (c) Show that this axiom system is not complete.

    © BrainMass Inc. brainmass.com March 4, 2021, 6:13 pm ad1c9bdddf
    https://brainmass.com/math/discrete-math/finite-axiomatic-geometry-35414

    Solution Preview

    Geometry
    Finite Axiomatic Geometry

    Finite Axiomatic Geometry
    This abstract geometry confuses me and I just can't follow this logic. Here is a set up of the question. Please help with some insight.

    Consider the following ...

    Solution Summary

    This solution is comprised of a detailed explanation of the Finite Axiomatic Geometry.
    It contains step-by-step explanation for the following problem:
    Finite Axiomatic Geometry
    This abstract geometry confuses me and I just can't follow this logic. Here is a set up of the question. Please help with some insight.

    Consider the following axiom system.
    The undefined terms are point, line, and on.
    Definition: two lines are parallel if there is no point on both of them.

    Axioms:
    I. Given any two distinct points, there exactly one line on both of them.
    II. Every line has at least one point on it.
    III. Given any line, there is at least one other line that is parallel to it.
    IV. There exists at least one line.

    [The book defines each axiom an "undefined term" called a "interpretation of a system."]

    [If, for a given interpretation of a system, all the axioms are "correct" statements, we call the interpretation a "MODEL"]

    Questions:
    (a) Show that this axiom system is consistent by finding a model for it.

    (b) Using models, show that Axiom III is independent of the other axioms.

    (c) Show that this axiom system is not complete.

    Solution contains detailed step-by-step explanation.

    $2.49

    ADVERTISEMENT