Axiomatic Method
The problem is to erect the entire structure of geometry upon the simplest foundation possible; i.e.
to choose a minimum number of undefined elements and relations and a set of axioms concerning them, with the property that all of geometry can be logically deduced from these without further appeal to intuition.
Definition (Axiomatic Method) The following list is a technical description of what is meant by an axiomatic system.
(i) Any axiomatic system must contain a set of technical terms that are deliberately chosen as undefined, called undefined terms, and are subject to the interpretation of the reader.
(ii) All other technical terms of the system are ultimately defined by means of the undefined terms, and are called definitions. (iii) The axiomatic system contains a set of statements, dealing with undefined terms and definitions, that are chosen to remain unproved, and are called axioms.
(iv) All other statements of the system must be logical consequences of the axioms.
These derived statements are called the propositions of the axiomatic system.
In an axiomatic system the proof of a specific statement is simply a sequence of statements, each of which follows logically from ones before and leads from a statement that is know to be true, to the statement that is to be proved; and so, in any axiomatic approach to a subject a complete understanding of the rules of logic is essential.
Logic Rule 1. The following are types of justifications allowed for statements in proofs:
(i) By hypothesis.
(ii) By axiom. (iii) By a previously proven proposition. (iv) By definition. (v) By a previous established step in the same proof. (vi) By rule of logic (truth table).
Variables in mathematical statements can be quantified two different ways.
First, the symbol
is called a universal quantifier and is used to express that a variable may take on any value in a given collection.
For example.
can mean any of the following, (i) "For any
" (ii) "For every
" (iii) "For all
" (iv) "Given any
" (v) "If
is any ..."
The other quantifier
(called an existential quantifier) is used to express that a variable can take on at least one value in a given collection.
For example,
can mean any of the following,
(i) "For some
" (ii) "There exists an
" (iii) "There is an
" (iv) "There are
"
Mathematical statements are sometime made informally and you may have to rephrase a given statement before applying one of the following logic rules.
Logic Rule 2.
The negation of the statement: "
is the statement
".
Logic Rule 3.
The negation of the statement: "
is the statement
".
The following logic rule is sometime called the method of exhaustion.
Logic Rule 4.
(Rule of Elimination) Suppose that
is a complete (finite) set of logical possibilities, that some (or none) of them imply
and all the rest (at least one) imply
Then
is valid.
Often an outline (or column) proof is used when starting a new axiomatic system (or learning to write proofs).
Next we describe the direct and indirect methods of proof.
Notice that the direct proof is just a chain of implications, while the indirect proof makes use of logic rule 4.
Column Form of a Direct Proof Given the three previously proven propositions: Theorem 1:
Theorem 2:
Theorem 3:
we can now prove the next theorem using a direct proof.
THEOREM: If
then
![the axiomatic method _gr_26.gif]](pages/the-axiomatic-method/Images/the-axiomatic-method_gr_26.gif)
PROOF: We will use the direct proof method.
![the axiomatic method _gr_27.gif]](pages/the-axiomatic-method/Images/the-axiomatic-method_gr_27.gif)
Column Form of an Indirect Proof Given the three previously proven propositions: Theorem 1:
Theorem 2:
and Theorem 3: A complete set of logical possibilities is:
and
that is, one of the statements
and
are true and only one.
We can now prove the next theorem using an indirect proof.
THEOREM: If
then
PROOF: We will use the indirect proof method.
![the axiomatic method _gr_37.gif]](pages/the-axiomatic-method/Images/the-axiomatic-method_gr_37.gif)
Example (Proof by Contradiction) Prove that the square root of 2 is an irrational number using an indirect proof.
![the axiomatic method _gr_39.gif]](pages/the-axiomatic-method/Images/the-axiomatic-method_gr_39.gif)
The indirect proof techniques has two main variants: "proof by cases" and "proof by contradiction".
For readability, a proof usually starts with Proof, then declares what type of proof is involved (states a technique), and ends with some mark such as Q.E.D. or
Since David Hilbert's times the Foundations of Geometry has served as a good starting point to learn how to write proofs.
The Big Book of Brain Games: 1,000 PlayThinks of Art, Mathematics & Science
 List Price: $22.95 Buy New: $13.89 You Save: $9.06 (39%) New (29) Used (16) from $8.29About the original 1000 PlayThinks,Will Shortz of The New York Times said it best: ?The most wide-ranging, visually appealing, entertaining, gigantic collection of brainteasers since Sam Loyd?s Cyclopedia (more)
|
My Best Mathematical and Logic Puzzles (Math & Logic Puzzles)
 List Price: $4.95 Buy New: $1.72 You Save: $3.23 (65%) New (29) Used (17) from $1.72 (more)
|
Discrete Mathematics and Its Applications
 Buy New: $120.00 New (32) Used (61) from $109.96Discrete Mathematics and its Applications, Sixth Edition, is intended for one- or two-term introductory discrete mathematics courses taken by students from a wide variety of majors, including computer (more)
|
Mensa Exercise Your Mind Math & Logic Puzzles
 List Price: $7.95 Buy New: $4.05 You Save: $3.90 (49%) New (26) Used (11) from $4.05An old favorite--Mensa Math & Logic Puzzles--gets a brand-new look: it's now in color!And the puzzles are fantastic: they're the kind of challenge found at the World Puzzle Championships, and they require (more)
|
Perplexing Puzzles and Tantalizing Teasers (Math & Logic Puzzles)
 List Price: $7.95 Buy Used: $2.41 You Save: $5.54 (70%) New (21) Used (30) from $2.41 (more)
|
Mensa Challenge Your Brain Math & Logic Puzzles
 List Price: $7.95 Buy New: $4.04 You Save: $3.91 (49%) New (29) Used (9) from $4.04Give your brain a workout on the type of brainteasers that challenge the best solvers at the World Puzzle Championships. They're tough, but fun, and the feeling of satisfaction you get when you succeed (more)
|
The Moscow Puzzles: 359 Mathematical Recreations (Math & Logic Puzzles)
 List Price: $12.95 Buy New: $6.00 You Save: $6.95 (54%) New (21) Used (14) from $5.45Most popular Russian puzzle book ever published. Marvelously varied puzzles ranging from simple "catch" riddles to difficult problems. Lavishly illustrated with clear diagrams and amusing sketches. Edited (more)
|
Entertaining Mathematical Puzzles
 List Price: $5.95 Buy New: $3.24 You Save: $2.71 (46%) New (23) Used (19) from $1.57Only an elementary knowledge of math is needed to enjoy this entertaining compilation of brain-teasers. It includes a mixture of old and new riddles covering a variety of mathematical topics: money, speed, (more)
|
Calculus II For Dummies (For Dummies (Math & Science))
 List Price: $19.99 Buy New: $9.74 You Save: $10.25 (51%) New (40) Used (16) from $9.00An easy-to-understand primer on advanced calculus topics Calculus II is a prerequisite for many popular college majors, including pre-med, engineering, and physics. Calculus II For Dummies offers (more)
|
Will Shortz Presents I Can KenKen! Volume 1: 75 Puzzles for Having Fun with M...
 List Price: $5.95 Buy New: $2.80 You Save: $3.15 (53%) New (25) Used (5) from $2.64Not only are these puzzles fun but KenKen helps children improve concentration, logic and arithmetic skills. Children ages 9-12 have excelled in math and gained real-life problem solving skills all from (more)
|
Cite this as: The Axiomatic Method Published by Library of Math -- Online math organized by subject into topics.
Written by Smith, David A.
http://www.libraryofmath.com/the-axiomatic-method.html
|