Explore BrainMass

Explore BrainMass

    Finite Axiomatic Geometry for Undefined Terms

    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!

    Consider the following axiom system.
    The undefined terms are point, line, and on.
    I. Given any two distinct points, there exactly one line on both of them.
    II. Given any line, there is at least one point not on it.
    III. Given any line, there are at least five points on it.
    IV. There is at least one line.

    (a) Prove that there are at least six lines.

    (b) Prove that there are at least 21 points.

    © BrainMass Inc. brainmass.com September 28, 2022, 2:29 am ad1c9bdddf

    Solution Preview


    (a) According to IV, there is at least one line, say L. According to III, there are at least five points A,B,C,D,E on the line L. According to II, there is at least one point, say F, not on L. Now according to I, A and F are two ...

    Solution Summary

    Finite axiomatic geometry for undefined terms is investigated and discussed with details in the solution.