Download Jan 5: An axiom system includes: ‚ undefined terms, and ‚ axioms

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts
no text concepts found
Transcript
Jan 5:
An axiom system includes:
‚
undefined terms, and
‚
axioms , or statements about those terms, taken to be true without proof.
For geometry, undefined terms include point, line, plane, space, and a word that represents a
relationship between these terms, on. Thus we say that a point lies on a line or that a line is on a
plane.
In practice and in this class, good old naive set theory underlies everything we will do – that is,
we will behave as if we understand sets, elements, belonging to sets, etc. Lines and planes then
become sets of points. So saying a point “lies on” a line means that the point belongs to the line
as a set of points. To say that two lines intersect means that they have a point in common – a
point in their intersection as sets.